| Publication | Date of Publication | Type |
|---|
| Remarks on semantic information and logic. From semantic tetralateralism to the pentalattice \(\mathbf{65536}_5\) | 2024-11-20 | Paper |
| A note on synonymy in proof-theoretic semantics | 2024-10-01 | Paper |
| Connexive logic, connexivity, and connexivism: remarks on terminology | 2024-04-10 | Paper |
| On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) | 2024-02-29 | Paper |
| Logical multilateralism | 2024-01-08 | Paper |
| Correction to: ``The nature of entailment: an informational approach | 2023-12-14 | Paper |
| The nature of entailment: an informational approach | 2023-12-14 | Paper |
| On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) | 2023-10-24 | Paper |
| <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT | 2023-09-20 | Paper |
| Questions to Michael Dunn | 2023-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104723 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5099999 | 2022-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100007 | 2022-08-26 | Paper |
| Connexive Variants of Modal Logics Over FDE | 2022-01-04 | Paper |
| PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS | 2021-05-11 | Paper |
| Routley star and hyperintensionality | 2021-05-07 | Paper |
| On Definability of Connectives and Modal Logics over FDE | 2021-01-08 | Paper |
| Connexive logics. An overview and current trends | 2021-01-08 | Paper |
| Connexive Conditional Logic. Part I | 2021-01-08 | Paper |
| An Invitation to New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
| On Non-transitive “Identity” | 2020-08-10 | Paper |
| Interview with Prof. Nuel D. Belnap | 2020-08-10 | Paper |
| On Split Negation, Strong Negation, Information, Falsification, and Verification | 2020-08-07 | Paper |
| Simplified tableaux for STIT imagination logic | 2020-02-14 | Paper |
| On the Methodology of Paraconsistent Logic | 2020-02-04 | Paper |
| Prawitz, Proofs, and Meaning | 2020-02-04 | Paper |
| Inference as doxastic agency. I: The basics of justification stit logic | 2019-05-15 | Paper |
| Negation as Cancellation, Connexive Logic, and qLPm | 2019-03-19 | Paper |
| ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION | 2018-11-29 | Paper |
| An Inferentially Many-Valued Two-Dimensional Notion of Entailment | 2018-07-12 | Paper |
| An axiomatic system and a tableau calculus for STIT imagination logic | 2018-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4639919 | 2018-05-14 | Paper |
| Remarks on the logic of imagination. A step towards understanding doxastic control through imagination | 2018-03-27 | Paper |
| Reprint of: ``A more general general proof theory | 2018-01-31 | Paper |
| A more general general proof theory | 2018-01-11 | Paper |
| 40 years of FDE: an introductory overview | 2017-12-14 | Paper |
| Disentangling \textsf{FDE}-based paraconsistent modal logics | 2017-12-14 | Paper |
| Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant | 2017-12-14 | Paper |
| Falsification, natural deduction and bi-intuitionistic logic | 2016-04-28 | Paper |
| External curries | 2015-09-21 | Paper |
| The logic of generalized truth values and the logic of bilattices | 2015-06-18 | Paper |
| A non-inferentialist, anti-realistic conception of logical truth and falsity | 2015-03-27 | Paper |
| Hypersequent and display calculi -- a unified perspective | 2015-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5175691 | 2015-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411412 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918420 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4903808 | 2013-01-27 | Paper |
| Reasoning About Belief Revision | 2012-09-14 | Paper |
| Proofs, disproofs, and their duals | 2012-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2901198 | 2012-07-17 | Paper |
| Proof theory of Nelson's paraconsistent logic: a uniform perspective | 2012-03-13 | Paper |
| Truth and falsehood. An inquiry into generalized logical values | 2012-01-18 | Paper |
| Synchronized linear-time temporal logic | 2011-11-23 | Paper |
| Completeness and cut-elimination theorems for trilattice logics | 2011-09-22 | Paper |
| Symmetric and dual paraconsistent logics | 2011-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003846 | 2011-05-31 | Paper |
| A Paraconsistent Linear-time Temporal Logic | 2011-03-28 | Paper |
| Intuitionistic Trilattice Logics | 2011-01-19 | Paper |
| Generalized truth values.: A reply to Dubois | 2010-12-14 | Paper |
| The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) | 2010-10-06 | Paper |
| Combining linear-time temporal logic with constructiveness and paraconsistency | 2010-06-11 | Paper |
| Editorial introduction. Truth values. II | 2009-11-16 | Paper |
| Constructive negation, implication, and co-implication | 2009-11-11 | Paper |
| SEQUENT CALCULI FOR SOME TRILATTICE LOGICS | 2009-08-26 | Paper |
| Editorial introduction. Truth values. I | 2009-05-08 | Paper |
| The slingshot argument and sentential identity | 2009-05-08 | Paper |
| Hyper-contradictions, generalized truth values and logics of truth and falsehood | 2009-03-24 | Paper |
| From Logic to Mathematical Philosophy | 2009-02-05 | Paper |
| From BDI and stit to bdi-stit logic | 2008-11-10 | Paper |
| Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) | 2008-09-23 | Paper |
| Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system | 2008-07-31 | Paper |
| Tableaux for multi-agent deliberative-stit logic | 2008-07-01 | Paper |
| Suszko's thesis, inferential many-valuedness, and the notion of a logical system | 2008-06-25 | Paper |
| A Note on Negation in Categorial Grammar | 2008-01-14 | Paper |
| Logical connectives for constructive modal logic | 2006-12-20 | Paper |
| Connectives stranger than tonk | 2006-11-17 | Paper |
| Logic of computer networks | 2006-11-02 | Paper |
| On the negation of action types: constructive concurrent PDL | 2006-08-16 | Paper |
| Connexive modal logic | 2006-08-15 | Paper |
| Some useful 16-valued logics: How a computer network should think | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367330 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711866 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817194 | 2004-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463936 | 2004-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532204 | 2003-05-12 | Paper |
| Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532134 | 2003-02-25 | Paper |
| A rule-extension of the non-associative Lambek calculus | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329229 | 2002-10-08 | Paper |
| Negation as falsity: A reply to Tennant | 2002-03-11 | Paper |
| A reduction of doxastic logic to action logic | 2002-01-21 | Paper |
| Seeing to it that an agent forms a belief | 2002-01-01 | Paper |
| Nested deontic modalities: Another view of parking on highways | 2001-07-16 | Paper |
| Displaying the modal logic of consistency | 2001-07-09 | Paper |
| The idea of a proof-theoretic semantics and the meaning of the logical operations | 2000-11-05 | Paper |
| Displaying modal logic | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225121 | 1999-11-29 | Paper |
| Editorial: Modality, of course! Modal logic, si! Modality and modal logic | 1999-11-29 | Paper |
| Predicate logics on display | 1999-10-18 | Paper |
| Translation of hypersequents into display sequents | 1998-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385350 | 1998-11-01 | Paper |
| Modal tableaux based on residuation | 1998-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394922 | 1998-06-11 | Paper |
| Editorial introduction. Special issue on consequence relations and sequent systems | 1998-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688808 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690149 | 1997-05-12 | Paper |
| A fugue on the themes of awareness logic and correspondence | 1996-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4887112 | 1996-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860654 | 1996-04-22 | Paper |
| Semantics-based nonmonotonic inference | 1996-01-29 | Paper |
| Tarskian Structured Consequence Relations and Functional Completeness | 1995-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315290 | 1994-12-06 | Paper |
| Sequent Calculi for Normal Modal Propositional Logics | 1994-11-24 | Paper |
| Informational interpretation of substructural propositional logics | 1994-09-01 | Paper |
| The logic of information structures | 1993-12-08 | Paper |
| Functional completeness for subsystems of intuitionistic propositional logic | 1993-08-19 | Paper |
| A general possible worlds framework for reasoning about knowledge and belief | 1992-06-25 | Paper |
| Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten | 1989-01-01 | Paper |
