| Publication | Date of Publication | Type |
|---|
Revision with conditional probability functions: two impossibility results
Dynamic Formal Epistemology | 2012-08-23 | Paper |
scientific article; zbMATH DE number 5901889 (Why is no real title available?)
| 2011-05-31 | Paper |
scientific article; zbMATH DE number 2042624 (Why is no real title available?)
| 2004-02-15 | Paper |
Conditionals, comparative probability, and triviality: The conditional of conditional probability cannot be represented in the object language
Topoi | 2000-03-19 | Paper |
A relational formalisation of arbitrary finite valued logics
Logic Journal of the IGPL | 1999-10-11 | Paper |
Conditionals, probability, and non-triviality
Journal of Philosophical Logic | 1996-06-06 | Paper |
scientific article; zbMATH DE number 3935002 (Why is no real title available?)
| 1985-01-01 | Paper |
WEAK CONDITIONAL COMPARATIVE PROBABILITY AS A FORMAL SEMANTIC THEORY
Mathematical Logic Quarterly | 1984-01-01 | Paper |
Probabilistic semantics for intuitionistic logic
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Probability theory, intuitionism, semantics, and the Dutch book argument
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3948264 (Why is no real title available?)
| 1983-01-01 | Paper |
There is a probabilistic semantics for every extension of classical sentence logic
Journal of Philosophical Logic | 1982-01-01 | Paper |
Simple probabilistic semantics for propositional K, T, B, S4, and S5
Journal of Philosophical Logic | 1982-01-01 | Paper |
Note on a strong liberated modal logic and its relevance to possible world skepticism
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
Local and global operators and many-valued modal logics
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
Some notes concerning fuzzy logics
Linguistics and Philosophy | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3547260 (Why is no real title available?)
| 1976-01-01 | Paper |
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers | 1976-01-01 | Paper |
Tuomela on deductive explanation
Journal of Philosophical Logic | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3517043 (Why is no real title available?)
| 1976-01-01 | Paper |
Weak liberated versions of T and S4
Journal of Symbolic Logic | 1975-01-01 | Paper |
Liberated versions ofT, S4, andS5
Archiv für Mathematische Logik und Grundlagenforschung | 1975-01-01 | Paper |
Liberated Brouwerian Modal Logic
Dialogue | 1974-01-01 | Paper |
A Theory of Equality for a Class of Many‐Valued Predicate Calculi
Mathematical Logic Quarterly | 1974-01-01 | Paper |
NOTES ON “GARDEN OF EDEN” CONFIGURATIONS OF HIGHER DEGREE
Kybernetes | 1974-01-01 | Paper |
Sentential calculus for logical falsehoods
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Truth, falsehood and contingency in first order predicate calculus
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3358432 (Why is no real title available?)
| 1972-01-01 | Paper |
Hypothesis generation by machine
Artificial Intelligence | 1971-01-01 | Paper |
