| Publication | Date of Publication | Type |
|---|
| Tableau systems for some Ivlev-like (quantified) modal logics | 2024-10-24 | Paper |
| From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth | 2024-06-26 | Paper |
| A Category of Ordered Algebras Equivalent to the Category of Multialgebras | 2024-02-29 | Paper |
| Genuine paracomplete logics | 2024-02-20 | Paper |
| From Inconsistency to Incompatibility | 2023-07-03 | Paper |
| Normal proofs and tableaux for the Font-Rius tetravalent modal logic | 2023-04-28 | Paper |
| Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case | 2023-04-21 | Paper |
| Fibring by functions as a method for combining matrix logics | 2022-12-20 | Paper |
| On a four-valued logic of formal inconsistency and formal underterminedness | 2022-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039189 | 2022-10-12 | Paper |
| Valuation semantics for first-order logics of evidence and truth | 2022-09-30 | Paper |
| On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic | 2022-09-25 | Paper |
| On the expressive power of Łukasiewicz square operator | 2022-09-22 | Paper |
| LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT | 2022-08-26 | Paper |
| Modal logic with non-deterministic semantics: Part I—Propositional case | 2022-06-16 | Paper |
| Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics | 2022-06-01 | Paper |
| Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case | 2022-04-29 | Paper |
| Tableau systems for some Ivlev-like (quantified) modal logics | 2022-02-04 | Paper |
| Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency | 2022-01-04 | Paper |
| Restricted swap structures for da Costa's $C_n$ and their category | 2021-12-25 | Paper |
| Twist-Valued Models for Three-Valued Paraconsistent Set Theory | 2021-12-02 | Paper |
| SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE | 2021-07-22 | Paper |
| Valuation semantics for first-order logics of evidence and truth (and some related logics) | 2021-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992398 | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5855496 | 2021-03-18 | Paper |
| On the expressive power of Lukasiewicz's square operator | 2021-03-12 | Paper |
| Recovery operators, paraconsistency and duality | 2021-01-08 | Paper |
| Non-deterministic algebraization of logics by swap structures1 | 2021-01-08 | Paper |
| Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case | 2021-01-06 | Paper |
| First-order swap structures semantics for some logics of formal inconsistency | 2020-12-15 | Paper |
| A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics | 2020-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116444 | 2020-08-25 | Paper |
| A Model-Theoretic Analysis of Fidel-Structures for mbC | 2020-08-10 | Paper |
| Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account | 2020-03-20 | Paper |
| First-order swap structures semantics for some Logics of Formal Inconsistency | 2019-12-21 | Paper |
| Twist-Valued Models for Three-valued Paraconsistent Set Theory | 2019-11-26 | Paper |
| Swap structures semantics for Ivlev-like modal logics | 2019-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224788 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3119357 | 2019-03-11 | Paper |
| Maximality in finite-valued Łukasiewicz logics defined by order filters | 2019-03-01 | Paper |
| Logics of formal inconsistency arising from systems of fuzzy logic | 2019-01-08 | Paper |
| On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics | 2019-01-08 | Paper |
| AGM-like paraconsistent belief change | 2019-01-08 | Paper |
| Finite non-deterministic semantics for some modal systems | 2018-09-12 | Paper |
| Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ | 2018-09-12 | Paper |
| Modal Logic With Non-deterministic Semantics: Part I - Propositional Case | 2018-08-29 | Paper |
| Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore | 2018-07-15 | Paper |
| Paraconsistent logic: consistency, contradiction and negation | 2016-12-13 | Paper |
| Paraconsistent set theory by predicating on consistency | 2016-04-28 | Paper |
| A Formal Framework for Hypersequent Calculi and Their Fibring | 2015-06-24 | Paper |
| An alternative approach for quasi-truth | 2015-02-27 | Paper |
| Dugundji's theorem revisited | 2015-02-05 | Paper |
| ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY | 2015-01-21 | Paper |
| Hilbert-style presentations of two logics associated to tetravalent modal algebras | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5169613 | 2014-07-11 | Paper |
| Logics of Formal Inconsistency | 2013-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918396 | 2013-04-24 | Paper |
| Modal extensions of sub-classical logics for recovering classical logic | 2013-04-08 | Paper |
| On Discourses Addressed by Infidel Logicians | 2013-04-02 | Paper |
| New dimensions on translations between logics | 2013-01-25 | Paper |
| Contracting Logics | 2012-09-21 | Paper |
| To distribute or not to distribute? | 2012-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112290 | 2012-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007252 | 2011-06-21 | Paper |
| Preservation by fibring of the finite model property | 2011-06-10 | Paper |
| A Graph-theoretic Account of Logics | 2010-01-14 | Paper |
| On Graph-theoretic Fibring of Logics | 2010-01-14 | Paper |
| Combining Valuations with Society Semantics | 2009-11-30 | Paper |
| Recovering a logic from its fragments by meta-fibring | 2008-02-15 | Paper |
| Analysis and synthesis of logics. How to cut and paste reasoning systems | 2008-02-07 | Paper |
| Fibring in the Leibniz Hierarchy | 2008-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3377764 | 2006-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311062 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461808 | 2004-05-18 | Paper |
| Fibring Logics with Topos Semantics | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781807 | 2003-06-02 | Paper |
| Transfers between logics and their applications | 2003-04-27 | Paper |
| Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
| Non-commutative topology and quantales | 2003-04-21 | Paper |
| Modules in the category of sheaves over quantales | 2002-04-21 | Paper |
| Equality in linear logic | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699338 | 2000-05-29 | Paper |
| Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices | N/A | Paper |
| Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE | N/A | Paper |
