# Charles G. Morgan

According to our database

Collaborative distances:

^{1}, Charles G. Morgan authored at least 38 papers between 1971 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2022

Mitchell-Inspired forcing, with Small Working parts and Collections of Models of Uniform Size as Side conditions, and Gap-One Simplified Morasses.

J. Symb. Log., 2022

2016

PLoS Comput. Biol., 2016

J. Symb. Log., 2016

2013

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2007

Notre Dame J. Formal Log., 2007

2005

The Application of Commercial Data Integration Technologies to Improve the Quality of Anonymous Entity Resolution in the Public Sector.

Proceedings of the 2005 International Conference on Information Quality (MIT ICIQ Conference), 2005

2004

J. Symb. Log., 2004

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2003

Notre Dame J. Formal Log., 2003

2000

Minds Mach., 2000

1998

J. Symb. Log., 1998

Log. J. IGPL, 1998

Relational semantics for arbitrary finite valued logics.

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1996

Ann. Pure Appl. Log., 1996

1995

Math. Log. Q., 1995

J. Philos. Log., 1995

1994

Comput. Intell., 1994

1993

Stud Logica, 1993

1992

An Automated Theorem Prover for Relational Logic (Abstract).

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991

Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic.

Comput. Intell., 1991

1988

Comput. Intell., 1988

1986

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984

Math. Log. Q., 1984

1983

Notre Dame J. Formal Log., 1983

Notre Dame J. Formal Log., 1983

1982

J. Philos. Log., 1982

There is a probabilistic semantics for every extension of classical sentence logic.

J. Philos. Log., 1982

1979

Note on a strong liberated modal logic and its relevance to possible world skepticism.

Notre Dame J. Formal Log., 1979

Notre Dame J. Formal Log., 1979

1976

IEEE Trans. Computers, 1976

J. Philos. Log., 1976

1975

J. Symb. Log., 1975

Arch. Math. Log., 1975

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1973

Notre Dame J. Formal Log., 1973

Notre Dame J. Formal Log., 1973

1971

Artif. Intell., 1971