| Publication | Date of Publication | Type |
|---|
| Alternative cut-free sequent calculi for S4 that are compatible with paradefinite four-valued logic | 2025-01-16 | Paper |
| Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics | 2024-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6181455 | 2024-01-02 | Paper |
| Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic | 2023-11-17 | Paper |
| Falsification-aware calculi and semantics for normal modal logics including S4 and S5 | 2023-08-14 | Paper |
| An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi | 2022-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039129 | 2022-10-12 | Paper |
| Embedding friendly first-order paradefinite and connexive logics | 2022-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869680 | 2022-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100003 | 2022-08-26 | Paper |
| Falsification-aware semantics and sequent calculi for classical logic | 2022-03-04 | Paper |
| Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi | 2021-12-27 | Paper |
| Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems | 2021-10-25 | Paper |
| Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation | 2021-10-25 | Paper |
| Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion | 2021-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144357 | 2021-01-15 | Paper |
| Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality | 2021-01-08 | Paper |
| Modal extension of ideal paraconsistent four-valued logic and its subsystem | 2020-10-07 | Paper |
| Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic | 2020-06-09 | Paper |
| Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach | 2020-05-11 | Paper |
| Yet another paradefinite logic: The role of conflation1 | 2019-11-04 | Paper |
| Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework | 2019-05-31 | Paper |
| Decidable temporal and sequential relevant logics* | 2019-01-31 | Paper |
| Representing any-time and program-iteration by infinitary conjunction | 2018-08-28 | Paper |
| Proof theory of paraconsistent quantum logic | 2018-05-28 | Paper |
| Inconsistency-tolerant temporal reasoning with hierarchical information | 2018-05-17 | Paper |
| Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning | 2018-03-29 | Paper |
| Embedding from multilattice logic into classical logic and vice versa | 2018-02-13 | Paper |
| Logics with definitional reflection rules | 2018-02-13 | Paper |
| Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic | 2018-02-13 | Paper |
| Paraconsistent double negations as classical and intuitionistic negations | 2017-12-14 | Paper |
| Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant | 2017-12-14 | Paper |
| Interpolation theorems for some variants of LTL | 2017-12-11 | Paper |
| Modal multilattice logic | 2017-11-29 | Paper |
| An extended first-order Belnap-Dunn logic with classical negation | 2017-11-22 | Paper |
| Paraconsistent double negation as a modal operator | 2017-02-01 | Paper |
| Embedding theorems for LTL and its variants | 2016-07-27 | Paper |
| A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics | 2016-06-24 | Paper |
| Bunched sequential information | 2016-04-07 | Paper |
| A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning | 2015-12-17 | Paper |
| Inconsistency-Tolerant Multi-Agent Calculus | 2015-10-26 | Paper |
| AN EIGHT-VALUED PRACONSISTENT LOGIC | 2015-07-30 | Paper |
| Trilattice logic: an embedding-based approach | 2015-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5175691 | 2015-02-24 | Paper |
| A hierarchy of weak double negations | 2014-06-19 | Paper |
| Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic | 2014-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411415 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411482 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411470 | 2014-04-23 | Paper |
| Temporal BI: proof system, semantics and translations | 2014-01-10 | Paper |
| Reasoning about resources and information: a linear logic approach | 2013-08-26 | Paper |
| Inconsistency-tolerant bunched implications | 2013-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918420 | 2013-04-24 | Paper |
| Strong normalization in some temporal substructural logics | 2013-04-19 | Paper |
| Temporal Gödel‐Gentzen and Girard translations | 2013-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4903913 | 2013-01-28 | Paper |
| Paraconsistent computation tree logic | 2012-11-16 | Paper |
| Embedding-based approaches to paraconsistent and temporal description logics | 2012-10-19 | Paper |
| Cut-elimination and completeness in dynamic topological and linear-time temporal logics | 2012-08-06 | Paper |
| The logic of sequences | 2012-05-30 | Paper |
| Bounded linear-time temporal logic: a proof-theoretic investigation | 2012-03-13 | Paper |
| Proof theory of Nelson's paraconsistent logic: a uniform perspective | 2012-03-13 | Paper |
| Synchronized linear-time temporal logic | 2011-11-23 | Paper |
| Notes on Craig interpolation for LJ with strong negation | 2011-09-27 | 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/Q3086526 | 2011-03-30 | Paper |
| A Paraconsistent Linear-time Temporal Logic | 2011-03-28 | Paper |
| Phase semantics for linear-time formalism | 2011-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3067641 | 2011-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3067642 | 2011-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3067685 | 2011-01-21 | Paper |
| Intuitionistic Trilattice Logics | 2011-01-19 | Paper |
| Combining linear-time temporal logic with constructiveness and paraconsistency | 2010-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3558858 | 2010-05-10 | Paper |
| Dynamic non-commutative logic | 2010-03-05 | Paper |
| Temporal non-commutative logic: Expressing time, resource, order and hierarchy | 2010-02-05 | Paper |
| Towards a theory of resource: an approach based on soft exponentials | 2009-11-30 | Paper |
| Natural deduction systems for Nelson's paraconsistent logic and its neighbors | 2009-11-30 | Paper |
| SEQUENT CALCULI FOR SOME TRILATTICE LOGICS | 2009-08-26 | Paper |
| Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic | 2009-08-20 | Paper |
| Proof systems combining classical and paraconsistent negations | 2009-05-08 | Paper |
| Phase semantics and Petri net interpretation for resource-sensitive strong negation | 2009-03-24 | Paper |
| Strong normalizability of typed lambda-calculi for substructural logics | 2009-02-17 | Paper |
| Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials | 2008-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5460163 | 2008-05-02 | Paper |
| Natural deduction systems for some non-commutative logics | 2008-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5437779 | 2008-01-28 | Paper |
| Synthesized substructural logics | 2007-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3433179 | 2007-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435246 | 2007-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3435250 | 2007-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482597 | 2006-08-28 | Paper |
| Linear and affine logics with temporal, spatial and epistemic operators | 2006-04-28 | Paper |
| Gentzen-type methods for bilattice negation | 2006-01-30 | Paper |
| Gentzen-type calculi for involutive quantales | 2005-12-12 | Paper |
| On a logic of involutive quantales | 2005-11-15 | Paper |
| A spatial modal logic with a location interpretation | 2005-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4678356 | 2005-05-23 | Paper |
| Linear Logics with Communication-merge | 2005-04-29 | Paper |
| Quantized linear logic, involutive quantales and strong negation | 2005-04-07 | Paper |
| Combining Soft Linear Logic and Spatio-temporal Operators | 2005-03-21 | Paper |
| Normal modal substructural logics with strong negation | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807689 | 2004-01-12 | Paper |
| A note on dual-intuitionistic logic | 2003-11-10 | Paper |
| Relevance Principle for Substructural Logics with Mingle and Strong Negation | 2003-08-24 | Paper |
| Sequent Calculi for Intuitionistic Linear Logic with Strong Negation | 2003-07-22 | Paper |
| Classical linear logics with mix separation principle | 2003-04-10 | Paper |
| Kripke semantics for modal substructural logics | 2003-03-12 | Paper |
| Substructural logics with mingle | 2002-08-20 | Paper |
| Cut elimination theorems and a canonical model construction for some implicational substructural logics | 2002-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4443190 | 2001-01-01 | Paper |
| Substructural implicational logics including the relevant logic E | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703130 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704073 | 1999-12-02 | Paper |
