| Publication | Date of Publication | Type |
|---|
| Contrariety re-encountered: nonstandard contraries and internal negation** | 2024-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6041914 | 2023-05-15 | Paper |
| Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics | 2022-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869665 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869721 | 2022-09-28 | Paper |
| Idempotent variations on the theme of exclusive disjunction | 2022-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5004950 | 2021-08-03 | Paper |
| Priest on Negation | 2020-08-10 | Paper |
| When is a schema not a schema? On a remark by Suszko | 2020-03-27 | Paper |
| Explicating logical independence | 2020-02-24 | Paper |
| Supervenience, Dependence, Disjunction | 2020-02-11 | Paper |
| Prior’s OIC nonconservativity example revisited | 2018-08-28 | Paper |
| CLASSICALLY ARCHETYPAL RULES | 2018-08-07 | Paper |
| Note on Contraries and Subcontraries | 2017-07-14 | Paper |
| An abelian rule for BCI -- and variations | 2016-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185648 | 2016-08-04 | Paper |
| Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. | 2016-05-17 | Paper |
| Note on extending congruential modal logics | 2016-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466592 | 2016-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466612 | 2016-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5501723 | 2015-08-14 | Paper |
| Béziau on And and Or | 2015-06-24 | Paper |
| Zolin and Pizzi: defining necessity from noncontingency | 2015-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416163 | 2014-05-19 | Paper |
| AGGREGATION AND IDEMPOTENCE | 2014-05-02 | Paper |
| Inverse images of box formulas in modal logic | 2013-12-05 | Paper |
| Replacement in logic | 2013-04-11 | Paper |
| Minimally congruential contexts: observations and questions on embedding E in K | 2012-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112314 | 2012-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093482 | 2011-10-17 | Paper |
| Variation on a trivialist argument of Paul Kabay | 2011-04-05 | Paper |
| On a conservative extension argument of Dana Scott | 2011-03-07 | Paper |
| Collapsing modalities | 2009-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629240 | 2009-05-27 | Paper |
| Investigations into a left-structural right-substructural sequent calculus | 2009-03-24 | Paper |
| Replacing Modus Ponens With One-Premiss Rules | 2008-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520847 | 2008-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509058 | 2008-07-01 | Paper |
| The Relevant Equivalence Property | 2008-01-14 | Paper |
| Modal logic for other-world agnostics: Neutrality and Halldén incompleteness | 2007-01-29 | Paper |
| Variations on a theme of Curry | 2006-10-04 | Paper |
| Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 | 2006-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3377758 | 2006-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695183 | 2005-10-11 | Paper |
| For Want of an ‘And’: A Puzzle about Non-Conservative Extension | 2005-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311064 | 2005-08-22 | Paper |
| Archetypal forms of inference | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4821863 | 2004-10-22 | Paper |
| The modal logic of agreement and noncontingency | 2004-05-27 | Paper |
| A Strange Remark Attributed to Gödel | 2004-03-23 | Paper |
| Similarity relations and the preservation of solidity | 2004-03-15 | Paper |
| False though partly true -- an experiment in logic | 2004-03-15 | Paper |
| An intriguing logic with two implicational connectives | 2002-09-19 | Paper |
| The pleasures of anticipation: Enriching intuitionistic logic | 2002-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2731725 | 2002-01-21 | Paper |
| Note on supervenience and definability | 2001-07-17 | Paper |
| The revival of rejective negation | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218021 | 1998-11-11 | Paper |
| Inverses for normal modal operators | 1997-10-26 | Paper |
| Classes of valuations closed under operations Galois-dual to Boolean sentence connectives | 1997-10-26 | Paper |
| Valuational semantics of rule derivability | 1997-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856947 | 1995-12-05 | Paper |
| A perspective on modal sequent logic | 1992-06-28 | Paper |
| The lattice of extensional connectives: A correction | 1988-01-01 | Paper |
| Extensionality in sentence position | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170702 | 1978-01-01 | Paper |
