| Publication | Date of Publication | Type |
|---|
Orlov ninety-six years on: a guide to Ivan Orlov's ``The calculus of the compatibility of propositions
The Australasian Journal of Logic | 2024-06-24 | Paper |
The Relevance Logic Programme: Failed or Just Stalled?
Studies in Universal Logic | 2023-09-20 | Paper |
Boole's indefinite symbols re-examined
The Australasian Journal of Logic | 2023-01-13 | Paper |
| First-order friendliness | 2022-10-25 | Paper |
Frege's ontological diagram completed
Logica Universalis | 2022-10-18 | Paper |
Relevance-Sensitive Truth-Trees
Outstanding Contributions to Logic | 2022-02-04 | Paper |
The phenomenology of second-level inference: perfumes in the deductive garden
Bulletin of the Section of Logic | 2021-07-07 | Paper |
Sets, logic and maths for computing
Undergraduate Topics in Computer Science | 2020-06-02 | Paper |
| scientific article; zbMATH DE number 6868329 (Why is no real title available?) | 2018-05-14 | Paper |
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
Readings in Formal Epistemology | 2017-04-07 | Paper |
Lossy inference rules and their bounds: a brief review
Studies in Universal Logic | 2015-06-24 | Paper |
Book review of: N. J. J. Smith, Logic. The laws of truth
Studia Logica | 2015-06-18 | Paper |
Relevance Logic as a Conservative Extension of Classical Logic
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Reflections on the Contributions
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
A tale of five cities
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
Intelim rules for classical connectives
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
On an inferential semantics for classical logic
Logic Journal of the IGPL | 2015-02-12 | Paper |
Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference
Synthese | 2013-11-25 | Paper |
| Advice to the relevantist policeman | 2013-10-23 | Paper |
Sets, logic and maths for computing
Undergraduate Topics in Computer Science | 2012-03-14 | Paper |
| scientific article; zbMATH DE number 5917718 (Why is no real title available?) | 2011-07-06 | Paper |
Conditional probability in the light of qualitative belief change
Journal of Philosophical Logic | 2011-05-11 | Paper |
| Conditional probability in the light of qualitative belief change | 2010-08-18 | Paper |
Propositional relevance through letter-sharing
Journal of Applied Logic | 2010-02-09 | Paper |
Levels of Belief in Nonmonotonic Reasoning
Synthese Library | 2009-08-05 | Paper |
From Logic to Mathematical Philosophy
Towards Mathematical Philosophy | 2009-02-05 | Paper |
| scientific article; zbMATH DE number 5316610 (Why is no real title available?) | 2008-08-26 | Paper |
Sets, logic and maths for computing
Undergraduate Topics in Computer Science | 2008-05-28 | Paper |
Parallel interpolation, splitting, and relevance in belief change
Journal of Symbolic Logic | 2007-10-17 | Paper |
Parallel interpolation, splitting, and relevance in belief change
Journal of Symbolic Logic | 2007-10-17 | Paper |
The quantitative/qualitative watershed for rules of uncertain inference
Studia Logica | 2007-10-16 | Paper |
Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
Artificial Intelligence | 2007-09-20 | Paper |
| scientific article; zbMATH DE number 2239772 (Why is no real title available?) | 2005-12-20 | Paper |
| scientific article; zbMATH DE number 2196616 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2019850 (Why is no real title available?) | 2004-01-04 | Paper |
Permission from an input/output perspective
Journal of Philosophical Logic | 2003-08-28 | Paper |
Bridges between Classical and Nonmonotonic Logic
Logic Journal of the IGPL | 2003-07-25 | Paper |
Controlled Revision - An algorithmic approach for belief revision
Journal Of Logic And Computation | 2003-01-01 | Paper |
Input/output logics
Journal of Philosophical Logic | 2001-07-11 | Paper |
Constraints for input/output logics
Journal of Philosophical Logic | 2001-06-26 | Paper |
| scientific article; zbMATH DE number 1163996 (Why is no real title available?) | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1405873 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1333625 (Why is no real title available?) | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 1078584 (Why is no real title available?) | 1997-12-14 | Paper |
Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
Journal Of Logic And Computation | 1997-11-04 | Paper |
Combinatorial versus decision-theoretic components of impossibility theorems
Theory and Decision | 1996-08-21 | Paper |
Local and global metrics for the semantics of counterfactual conditionals
Journal of Applied Non-Classical Logics | 1994-12-21 | Paper |
The relationship between KLM and MAK models for nonmonotonic inference operations
Journal of Logic, Language and Information | 1994-10-09 | Paper |
Nonmonotonic inference based on expectations
Artificial Intelligence | 1994-05-03 | Paper |
| scientific article; zbMATH DE number 517023 (Why is no real title available?) | 1994-03-17 | Paper |
Five faces of minimality
Studia Logica | 1994-01-19 | Paper |
The Gärdenfors impossibility theorem in non-monotonic contexts
Studia Logica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4104920 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4168658 (Why is no real title available?) | 1988-01-01 | Paper |
On the status of the postulate of recovery in the logic of theory change
Journal of Philosophical Logic | 1987-01-01 | Paper |
Maps between some different kinds of contraction function: the finite case
Studia Logica | 1986-01-01 | Paper |
On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
Journal of Philosophical Logic | 1986-01-01 | Paper |
On the logic of theory change: Partial meet contraction and revision functions
Journal of Symbolic Logic | 1985-01-01 | Paper |
On the logic of theory change: safe contraction
Studia Logica | 1985-01-01 | Paper |
Stenius' approach to disjunctive permission
Theoria | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3893172 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3792134 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3831894 (Why is no real title available?) | 1982-01-01 | Paper |
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3743224 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3557785 (Why is no real title available?) | 1976-01-01 | Paper |
Post Completeness and Ultrafilters
Mathematical Logic Quarterly | 1974-01-01 | Paper |
A warning about the choice of primitive operators in modal logic
Journal of Philosophical Logic | 1973-01-01 | Paper |
A generalisation of the concept of a relational model for modal logic1
Theoria | 1971-01-01 | Paper |
Some embedding theorems for modal logic
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358437 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3334192 (Why is no real title available?) | 1970-01-01 | Paper |
A normal modal calculus between T and S4 without the finite model property
Journal of Symbolic Logic | 1969-01-01 | Paper |
On the number of ultrafilters of an infinite boolean algebra
Mathematical Logic Quarterly | 1969-01-01 | Paper |
There are infinitely many Diodorean modal functions
Journal of Symbolic Logic | 1966-01-01 | Paper |
On Some Completeness Theorems in Modal Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3265732 (Why is no real title available?) | 1966-01-01 | Paper |
