Charles G. Morgan

According to our database, Charles G. Morgan authored at least 38 papers between 1971 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2022

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

Charles Morgan

J. Symb. Log., 2022

2016

A Mechanistic Model for Cooperative Behavior of Co-transcribing RNA Polymerases.

Tamra Heberling, Lisa Davis, Jakub Gedeon, Charles Morgan, Tomás Gedeon

PLoS Comput. Biol., 2016

Small Universal families of graphs on ℵ_{<i>ω</i>+ 1}.

James Cummings, Mirna Dzamonja, Charles Morgan

J. Symb. Log., 2016

2013

Natural Number Objects in Dialectica Categories.

Valeria de Paiva, Charles Morgan, Samuel G. Da Silva

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

2007

A Sound and Complete Proof Theory for Propositional Logical Contingencies.

Alexander Hertel, Philipp Hertel, Charles Morgan

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.

John R. Talburt, Charles G. Morgan, Terry Talley, Ken Archer

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

2004

Wild edge colourings of graphs.

Mirna Dzamonja, Péter Komjáth, Charles Morgan

J. Symb. Log., 2004

Probability, rational belief and belief change.

Charles G. Morgan

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

Many Valued Probability Theory.

Charles G. Morgan

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

2003

Probabilistic Canonical Models for Partial Logics.

François Lepage, Charles Morgan

Notre Dame J. Formal Log., 2003

2000

The Nature of Nonmonotonic Reasoning.

Charles G. Morgan

Minds Mach., 2000

1998

Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.

Charles G. Morgan

J. Symb. Log., 1998

A Relational Formalisation of Arbitrary Finite Valued Logics.

Beata Konikowska, Charles G. Morgan, Ewa Orlowska

Log. J. IGPL, 1998

Relational semantics for arbitrary finite valued logics.

Beata Konikowska, Charles G. Morgan, Ewa Orlowska

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

1996

Morasses, Square and Forcing Axioms.

Charles G. Morgan

Ann. Pure Appl. Log., 1996

1995

A Gap Cohomology Group.

Charles G. Morgan

Math. Log. Q., 1995

Conditionals, probability, and non-triviality.

Charles G. Morgan, Edwin D. Mares

J. Philos. Log., 1995

1994

Evidence, Belief, and Inference.

Charles G. Morgan

Comput. Intell., 1994

1993

Introduction.

Charles G. Morgan

Stud Logica, 1993

1992

An Automated Theorem Prover for Relational Logic (Abstract).

Charles G. Morgan

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.

Charles G. Morgan

Comput. Intell., 1991

1988

Probability theory versus procedural pessimism.

Charles G. Morgan

Comput. Intell., 1988

1986

AUTOLOGIC at University of Victoria.

Charles G. Morgan

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

1984

Weak Conditional Comparative Probability as a Formal Semantic Theory.

Charles G. Morgan

Math. Log. Q., 1984

1983

Probability theory, intuitionism, semantics, and the Dutch book argument.

Hugues Leblanc, Charles G. Morgan

Notre Dame J. Formal Log., 1983

Probabilistic semantics for intuitionistic logic.

Hugues Leblanc, Charles G. Morgan

Notre Dame J. Formal Log., 1983

1982

Simple probabilistic semantics for propositional K, T, B, S4, and S5.

Charles G. Morgan

J. Philos. Log., 1982

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

Charles G. Morgan

J. Philos. Log., 1982

1979

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

Charles G. Morgan

Notre Dame J. Formal Log., 1979

Local and global operators and many-valued modal logics.

Charles G. Morgan

Notre Dame J. Formal Log., 1979

1976

Methods for Automated Theorem Proving in Nonclassical Logics.

Charles G. Morgan

IEEE Trans. Computers, 1976

Tuomela on deductive explanation.

Charles G. Morgan

J. Philos. Log., 1976

1975

Weak Liberated Versions of T and S4.

Charles G. Morgan

J. Symb. Log., 1975

Liberated versions of<i>T, S</i>4, and<i>S</i>5.

Charles G. Morgan

Arch. Math. Log., 1975

Automated Hypothesis Generation Using Extended Inductive Resolution.

Charles G. Morgan

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

1973

Truth, falsehood, and contingency in first-order predicate calculus.

Charles G. Morgan

Notre Dame J. Formal Log., 1973

Sentential calculus for logical falsehoods.

Charles G. Morgan

Notre Dame J. Formal Log., 1973

1971

Hypothesis Generation by Machine.

Charles G. Morgan

Artif. Intell., 1971