Charles G. Morgan

According to our database1, Charles G. Morgan authored at least 37 papers between 1971 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of two.

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

Liberated versions ofT, S4, andS5.
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


  Loading...