| 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 |
| Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic | 2023-03-24 | Paper |
| Term-sequence-dyadic deontic logic | 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 |
| Cut-free and analytic sequent calculus of intuitionistic epistemic logic | 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 |
| Model theory and proof theory of coalgebraic predicate logic | 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 |
| Characterizing frame definability in team semantics 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 |
