| Publication | Date of Publication | Type |
|---|
| Orlov ninety-six years on: a guide to Ivan Orlov's ``The calculus of the compatibility of propositions | 2024-06-24 | Paper |
| The Relevance Logic Programme: Failed or Just Stalled? | 2023-09-20 | Paper |
| Boole's indefinite symbols re-examined | 2023-01-13 | Paper |
| First-order friendliness | 2022-10-25 | Paper |
| Frege's ontological diagram completed | 2022-10-18 | Paper |
| Relevance-Sensitive Truth-Trees | 2022-02-04 | Paper |
| The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden | 2021-07-07 | Paper |
| Sets, logic and maths for computing | 2020-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4639916 | 2018-05-14 | Paper |
| On the Logic of Theory Change: Partial Meet Contraction and Revision Functions | 2017-04-07 | Paper |
| Lossy Inference Rules and Their Bounds: A Brief Review | 2015-06-24 | Paper |
| Book review of: N. J. J. Smith, Logic. The laws of truth | 2015-06-18 | Paper |
| Relevance Logic as a Conservative Extension of Classical Logic | 2015-05-19 | Paper |
| Reflections on the Contributions | 2015-05-19 | Paper |
| A Tale of Five Cities | 2015-05-19 | Paper |
| Intelim Rules for Classical Connectives | 2015-05-19 | Paper |
| On an inferential semantics for classical logic | 2015-02-12 | Paper |
| Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference | 2013-11-25 | Paper |
| Advice to the relevantist policeman | 2013-10-23 | Paper |
| Sets, logic and maths for computing | 2012-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012531 | 2011-07-06 | Paper |
| Conditional probability in the light of qualitative belief change | 2011-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3584005 | 2010-08-18 | Paper |
| Propositional relevance through letter-sharing | 2010-02-09 | Paper |
| Levels of Belief in Nonmonotonic Reasoning | 2009-08-05 | Paper |
| From Logic to Mathematical Philosophy | 2009-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520846 | 2008-08-26 | Paper |
| Sets, logic and maths for computing | 2008-05-28 | Paper |
| Parallel interpolation, splitting, and relevance in belief change | 2007-10-17 | Paper |
| The quantitative/qualitative watershed for rules of uncertain inference | 2007-10-16 | Paper |
| Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets | 2007-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715109 | 2005-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311063 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440545 | 2004-01-04 | Paper |
| Permission from an input/output perspective | 2003-08-28 | Paper |
| Bridges between Classical and Nonmonotonic Logic | 2003-07-25 | Paper |
| Controlled Revision - An algorithmic approach for belief revision | 2003-01-01 | Paper |
| Input/output logics | 2001-07-11 | Paper |
| Constraints for input/output logics | 2001-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395623 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938866 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260400 | 1999-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360855 | 1997-12-14 | Paper |
| Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations | 1997-11-04 | Paper |
| Combinatorial versus decision-theoretic components of impossibility theorems | 1996-08-21 | Paper |
| Local and global metrics for the semantics of counterfactual conditionals | 1994-12-21 | Paper |
| The relationship between KLM and MAK models for nonmonotonic inference operations | 1994-10-09 | Paper |
| Nonmonotonic inference based on expectations | 1994-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282550 | 1994-03-17 | Paper |
| Five faces of minimality | 1994-01-19 | Paper |
| The Gärdenfors impossibility theorem in non-monotonic contexts | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3829532 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495345 | 1988-01-01 | Paper |
| On the status of the postulate of recovery in the logic of theory change | 1987-01-01 | Paper |
| Maps between some different kinds of contraction function: the finite case | 1986-01-01 | Paper |
| On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl | 1986-01-01 | Paper |
| On the logic of theory change: Partial meet contraction and revision functions | 1985-01-01 | Paper |
| On the logic of theory change: safe contraction | 1985-01-01 | Paper |
| Stenius' approach to disjunctive permission | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184888 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968905 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3039305 | 1982-01-01 | Paper |
| Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929716 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133631 | 1976-01-01 | Paper |
| Post Completeness and Ultrafilters | 1974-01-01 | Paper |
| A warning about the choice of primitive operators in modal logic | 1973-01-01 | Paper |
| A generalisation of the concept of a relational model for modal logic1 | 1971-01-01 | Paper |
| Some embedding theorems for modal logic | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632540 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611793 | 1970-01-01 | Paper |
| A normal modal calculus between T and S4 without the finite model property | 1969-01-01 | Paper |
| On the number of ultrafilters of an infinite boolean algebra | 1969-01-01 | Paper |
| There are infinitely many Diodorean modal functions | 1966-01-01 | Paper |
| On Some Completeness Theorems in Modal Logic | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5552150 | 1966-01-01 | Paper |
