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 Comput. Biol., 2016

Small Universal families of graphs on ℵ<sub><i>ω</i>+ 1</sub>.
J. Symb. Log., 2016

2013
Natural Number Objects in Dialectica Categories.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2007
A Sound and Complete Proof Theory for Propositional Logical Contingencies.
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
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 J. Formal Log., 2003

2000
The Nature of Nonmonotonic Reasoning.
Minds Mach., 2000

1998
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.
J. Symb. Log., 1998

A Relational Formalisation of Arbitrary Finite Valued Logics.
Log. J. 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. Log., 1996

1995
A Gap Cohomology Group.
Math. Log. Q., 1995

Conditionals, probability, and non-triviality.
J. Philos. Log., 1995

1994
Evidence, Belief, and Inference.
Comput. Intell., 1994

1993
Introduction.
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
Probability theory versus procedural pessimism.
Comput. Intell., 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 J. Formal Log., 1983

Probabilistic semantics for intuitionistic logic.
Notre Dame J. Formal Log., 1983

1982
Simple probabilistic semantics for propositional K, T, B, S4, and S5.
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

Local and global operators and many-valued modal logics.
Notre Dame J. Formal Log., 1979

1976
Methods for Automated Theorem Proving in Nonclassical Logics.
IEEE Trans. Computers, 1976

Tuomela on deductive explanation.
J. Philos. Log., 1976

1975
Weak Liberated Versions of T and S4.
J. Symb. Log., 1975

Liberated versions of<i>T, S</i>4, and<i>S</i>5.
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 J. Formal Log., 1973

Sentential calculus for logical falsehoods.
Notre Dame J. Formal Log., 1973

1971
Hypothesis Generation by Machine.
Artif. Intell., 1971


  Loading...