Hypothesis Generation by Machine. - Charles G. Morgan (Artif. Intell., 1971)

Sentential calculus for logical falsehoods. - Charles G. Morgan (Notre Dame J. Formal Log., 1973)

Truth, falsehood, and contingency in first-order predicate calculus. - Charles G. Morgan (Notre Dame J. Formal Log., 1973)

Automated Hypothesis Generation Using Extended Inductive Resolution. - Charles G. Morgan (IJCAI, 1975)

Liberated versions ofT, S4, andS5. - Charles G. Morgan (Arch. Math. Log., 1975)

Weak Liberated Versions of T and S4. - Charles G. Morgan (J. Symb. Log., 1975)

Tuomela on deductive explanation. - Charles G. Morgan (J. Philos. Log., 1976)

Methods for Automated Theorem Proving in Nonclassical Logics. - Charles G. Morgan (IEEE Trans. Computers, 1976)

Local and global operators and many-valued modal logics. - Charles G. Morgan (Notre Dame J. Formal Log., 1979)

Note on a strong liberated modal logic and its relevance to possible world skepticism. - Charles G. Morgan (Notre Dame J. Formal Log., 1979)

There is a probabilistic semantics for every extension of classical sentence logic. - Charles G. Morgan (J. Philos. Log., 1982)

Simple probabilistic semantics for propositional K, T, B, S4, and S5. - Charles G. Morgan (J. Philos. Log., 1982)

Probabilistic semantics for intuitionistic logic. - Hugues Leblanc; Charles G. Morgan (Notre Dame J. Formal Log., 1983)

Probability theory, intuitionism, semantics, and the Dutch book argument. - Hugues Leblanc; Charles G. Morgan (Notre Dame J. Formal Log., 1983)

Weak Conditional Comparative Probability as a Formal Semantic Theory. - Charles G. Morgan (Math. Log. Q., 1984)

AUTOLOGIC at University of Victoria. - Charles G. Morgan (CADE, 1986)

Probability theory versus procedural pessimism. - Charles G. Morgan (Comput. Intell., 1988)

Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic. - Charles G. Morgan (Comput. Intell., 1991)

An Automated Theorem Prover for Relational Logic (Abstract). - Charles G. Morgan (TABLEAUX, 1992)

Introduction. - Charles G. Morgan (Stud Logica, 1993)

Evidence, Belief, and Inference. - Charles G. Morgan (Comput. Intell., 1994)

Conditionals, probability, and non-triviality. - Charles G. Morgan; Edwin D. Mares (J. Philos. Log., 1995)

A Gap Cohomology Group. - Charles G. Morgan (Math. Log. Q., 1995)

Morasses, Square and Forcing Axioms. - Charles G. Morgan (Ann. Pure Appl. Log., 1996)

Relational semantics for arbitrary finite valued logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (RelMiCS, 1998)

A Relational Formalisation of Arbitrary Finite Valued Logics. - Beata Konikowska; Charles G. Morgan; Ewa Orlowska (Log. J. IGPL, 1998)

Higher Gap Morasses, IA: Gap-Two Morasses and Condensation. - Charles G. Morgan (J. Symb. Log., 1998)

The Nature of Nonmonotonic Reasoning. - Charles G. Morgan (Minds Mach., 2000)

Probabilistic Canonical Models for Partial Logics. - François Lepage; Charles Morgan (Notre Dame J. Formal Log., 2003)

Many Valued Probability Theory. - Charles G. Morgan (ISMVL, 2004)

Probability, rational belief and belief change. - Charles G. Morgan (NMR, 2004)

Wild edge colourings of graphs. - Mirna Dzamonja; Péter Komjáth; Charles Morgan (J. Symb. Log., 2004)

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 (ICIQ, 2005)

A Sound and Complete Proof Theory for Propositional Logical Contingencies. - Alexander Hertel; Philipp Hertel; Charles Morgan (Notre Dame J. Formal Log., 2007)

Natural Number Objects in Dialectica Categories. - Valeria de Paiva; Charles Morgan; Samuel G. Da Silva (LSFA, 2013)

Small Universal families of graphs on ℵω+ 1. - James Cummings 001; Mirna Dzamonja; Charles Morgan (J. Symb. Log., 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)

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)