# Charles G. Morgan

According to our database

Collaborative distances:

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

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

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

PLoS Computational Biology, 2016

Small Universal families of graphs on ℵ

_{ω+ 1}.
J. Symb. Log., 2016

2014

Natural Number Objects in Dialectica Categories.

Electr. Notes Theor. Comput. Sci., 2014

2007

A Sound and Complete Proof Theory for Propositional Logical Contingencies.

Notre Dame Journal of Formal Logic, 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

Wild edge colourings of graphs.

J. Symb. Log., 2004

Probability, rational belief and belief change.

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

Many Valued Probability Theory.

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

2003

Probabilistic Canonical Models for Partial Logics.

Notre Dame Journal of Formal Logic, 2003

2000

The Nature of Nonmonotonic Reasoning.

Minds and Machines, 2000

1998

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

J. Symb. Log., 1998

A Relational Formalisation of Arbitrary Finite Valued Logics.

Logic Journal of the IGPL, 1998

Relational semantics for arbitrary finite valued logics.

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

1996

Morasses, Square and Forcing Axioms.

Ann. Pure Appl. Logic, 1996

1995

A Gap Cohomology Group.

Math. Log. Q., 1995

Conditionals, probability, and non-triviality.

J. Philosophical Logic, 1995

1994

Evidence, Belief, and Inference.

Computational Intelligence, 1994

1993

Introduction.

Studia 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.

Computational Intelligence, 1991

1988

Probability theory versus procedural pessimism.

Computational Intelligence, 1988

1986

AUTOLOGIC at University of Victoria.

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

1984

Weak Conditional Comparative Probability as a Formal Semantic Theory.

Math. Log. Q., 1984

1983

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

Notre Dame Journal of Formal Logic, 1983

Probabilistic semantics for intuitionistic logic.

Notre Dame Journal of Formal Logic, 1983

1982

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

J. Philosophical Logic, 1982

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

J. Philosophical Logic, 1982

1979

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

Notre Dame Journal of Formal Logic, 1979

Local and global operators and many-valued modal logics.

Notre Dame Journal of Formal Logic, 1979

1976

Methods for Automated Theorem Proving in Nonclassical Logics.

IEEE Trans. Computers, 1976

Tuomela on deductive explanation.

J. Philosophical Logic, 1976

1975

Weak Liberated Versions of T and S4.

J. Symb. Log., 1975

Arch. Math. Log., 1975

Automated Hypothesis Generation Using Extended Inductive Resolution.

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.

Notre Dame Journal of Formal Logic, 1973

Sentential calculus for logical falsehoods.

Notre Dame Journal of Formal Logic, 1973

1971

Hypothesis Generation by Machine.

Artif. Intell., 1971