| Publication | Date of Publication | Type |
|---|
| Combining first-order classical and intuitionistic logic | 2025-01-09 | Paper |
| Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation | 2024-11-12 | Paper |
| Logics for knowability paradox with a non-normal possibility operator | 2024-09-11 | Paper |
| Modal logic and planarity of graphs | 2024-09-10 | Paper |
| Proof-theoretic results of common sense modal predicate calculi | 2024-09-10 | Paper |
| Intuitionistic public announcement logic with distributed knowledge | 2024-06-26 | Paper |
| Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} | 2024-06-26 | Paper |
| Three faces of recursion axioms: the case of constructive dynamic logic of relation changers | 2024-02-08 | Paper |
| Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic | 2023-10-31 | Paper |
| Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic | 2023-08-16 | Paper |
| A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic | 2023-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884967 | 2023-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878383 | 2023-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104725 | 2022-09-15 | Paper |
| Rely more or less, for better or for worse: Intertwining reliability and preferences | 2022-09-08 | Paper |
| On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge | 2022-06-24 | Paper |
| Frame definability, canonicity and cut elimination in common sense modal predicate logics | 2022-01-03 | Paper |
| Constructive dynamic logic of relation changers | 2021-12-01 | Paper |
| Expressing discrete spatial relations under granularity | 2021-09-03 | Paper |
| Recapturing dynamic logic of relation changers via bounded morphisms | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5149160 | 2021-02-06 | Paper |
| Craig interpolation of epistemic logics with distributed knowledge | 2020-10-26 | Paper |
| A cut-free labelled sequent calculus for dynamic epistemic logic | 2020-04-29 | Paper |
| Revising a Labelled Sequent Calculus for Public Announcement Logic | 2020-02-04 | Paper |
| Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics | 2020-02-04 | Paper |
| Avoiding Impossibility Theorems in Radical Inquisitive Semantics | 2020-02-04 | Paper |
| First-order intuitionistic epistemic logic | 2020-01-30 | Paper |
| Term-sequence-modal logics | 2020-01-30 | Paper |
| Sequent calculi for normal update logics | 2020-01-14 | Paper |
| Characterising modal definability of team-based logics via the universal modality | 2019-09-18 | Paper |
| How to update neighbourhood models | 2019-07-10 | Paper |
| Axiomatizing discrete spatial relations | 2018-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637694 | 2018-04-25 | Paper |
| The Expressive Power of Modal Dependence Logic | 2018-04-23 | Paper |
| Axiomatizing epistemic logic of friendship via tree sequent calculus | 2017-11-22 | Paper |
| Axiomatizing Propositional Dependence Logics | 2017-08-31 | Paper |
| A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic | 2017-07-21 | Paper |
| On Extensions of Basic Propositional Logic | 2017-06-09 | Paper |
| Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics | 2017-03-06 | Paper |
| Characterizing Relative Frame Definability in Team Semantics via the Universal Modality | 2016-09-09 | Paper |
| A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic | 2016-01-12 | Paper |
| Alternative Semantics for Visser’s Propositional Logics | 2015-12-03 | Paper |
| Generalizing functional completeness in Belnap-Dunn logic | 2015-09-24 | Paper |
| Characterising modal definability of team-based logics via the universal modality | 2015-09-24 | Paper |
| da Costa Meets Belnap and Nelson | 2015-06-29 | Paper |
| An expansion of first-order Belnap-Dunn logic | 2015-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939559 | 2015-01-22 | Paper |
| Tableaux for Non-normal Public Announcement Logic | 2015-01-09 | Paper |
| Dynamic Epistemic Logic for Channel-Based Agent Communication | 2015-01-06 | Paper |
| How to Update Neighborhood Models | 2013-11-06 | Paper |
| Axiomatizing Hybrid Products of Monotone Neighborhood Frames | 2013-04-26 | Paper |
| Coalgebraic Predicate Logic: Equipollence Results and Proof Theory | 2013-04-12 | Paper |
| Coalgebraic Predicate Logic | 2012-11-01 | Paper |
| Goldblatt-Thomason-style theorems for graded modal language | 2012-08-05 | Paper |
| Generalized Product of Coalgebraic Hybrid Logics | 2011-09-02 | Paper |
| Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? | 2011-03-22 | Paper |
| First-Order Inquisitive Pair Logic | 2010-12-17 | Paper |
| Hybrid counterfactual logics. David Lewis meets Arthur Prior again | 2010-01-06 | Paper |
| Sound and Complete Tree-Sequent Calculus for Inquisitive Logic | 2009-07-02 | Paper |
| Semantical characterizations for irreflexive and generalized modal languages | 2008-02-22 | Paper |
