| Publication | Date of Publication | Type |
|---|
| Bounded inquisitive logics: sequent calculi and schematic validity | 2026-02-10 | Paper |
| Craig interpolation for awareness logics | 2025-12-04 | Paper |
| Combining first-order classical and intuitionistic logic | 2025-01-09 | Paper |
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
Studia Logica | 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 |
| Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} | 2024-06-26 | Paper |
Intuitionistic public announcement logic with distributed knowledge
Studia Logica | 2024-06-26 | Paper |
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers
Journal Of Logic And Computation | 2024-02-08 | Paper |
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
The Australasian Journal of Logic | 2023-10-31 | Paper |
Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
Lecture Notes in Computer Science | 2023-08-16 | Paper |
A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
Studia Logica | 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 |
| Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic | 2022-09-15 | Paper |
Rely more or less, for better or for worse: Intertwining reliability and preferences
Journal Of Logic And Computation | 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
Journal Of Logic And Computation | 2022-01-03 | Paper |
| Constructive dynamic logic of relation changers | 2021-12-01 | Paper |
Expressing discrete spatial relations under granularity
Journal of Logical and Algebraic Methods in Programming | 2021-09-03 | Paper |
Recapturing dynamic logic of relation changers via bounded morphisms
Studia Logica | 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
Journal Of Logic And Computation | 2020-04-29 | Paper |
Revising a labelled sequent calculus for public announcement logic
Logic in Asia: Studia Logica Library | 2020-02-04 | Paper |
Constructive embedding from extensions of logics of strict implication into modal logics
Logic in Asia: Studia Logica Library | 2020-02-04 | Paper |
Avoiding impossibility theorems in radical inquisitive semantics
Modality, Semantics and Interpretations | 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
Annals of Pure and Applied Logic | 2019-09-18 | Paper |
How to update neighbourhood models
Journal Of Logic And Computation | 2019-07-10 | Paper |
| Axiomatizing discrete spatial relations | 2018-11-08 | Paper |
Model theory and proof theory of coalgebraic predicate logic
(available as arXiv preprint) | 2018-04-25 | Paper |
The expressive power of modal dependence logic
(available as arXiv preprint) | 2018-04-23 | Paper |
Axiomatizing epistemic logic of friendship via tree sequent calculus
(available as arXiv preprint) | 2017-11-22 | Paper |
Axiomatizing propositional dependence logics
(available as arXiv preprint) | 2017-08-31 | Paper |
A cut-free labelled sequent calculus for dynamic epistemic logic
Logical Foundations of Computer Science | 2017-07-21 | Paper |
On extensions of basic propositional logic
Proceedings of the 13th Asian Logic Conference | 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
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
A labelled sequent calculus for intuitionistic public announcement logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Alternative semantics for Visser's propositional logics
Logic, Language, and Computation | 2015-12-03 | Paper |
Generalizing functional completeness in Belnap-Dunn logic
Studia Logica | 2015-09-24 | Paper |
Characterizing frame definability in team semantics via the universal modality
Lecture Notes in Computer Science | 2015-09-24 | Paper |
Da Costa meets Belnap and Nelson
Recent Trends in Philosophical Logic | 2015-06-29 | Paper |
An expansion of first-order Belnap-Dunn logic
Logic Journal of the IGPL | 2015-02-12 | Paper |
| scientific article; zbMATH DE number 6389583 (Why is no real title available?) | 2015-01-22 | Paper |
Tableaux for non-normal public announcement logic
Logic and Its Applications | 2015-01-09 | Paper |
Dynamic epistemic logic for channel-based agent communication
Logic and Its Applications | 2015-01-06 | Paper |
How to Update Neighborhood Models
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Axiomatizing hybrid products of monotone neighborhood frames
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Coalgebraic predicate logic: equipollence results and proof theory
Logic, Language, and Computation | 2013-04-12 | Paper |
Coalgebraic predicate logic
Automata, Languages, and Programming | 2012-11-01 | Paper |
| Goldblatt-Thomason-style theorems for graded modal language | 2012-08-05 | Paper |
Generalized product of coalgebraic hybrid logics
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
Journal of Applied Logic | 2011-03-22 | Paper |
First-order inquisitive pair logic
Logic and Its Applications | 2010-12-17 | Paper |
Hybrid counterfactual logics. David Lewis meets Arthur Prior again
Journal of Logic, Language and Information | 2010-01-06 | Paper |
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Semantical characterizations for irreflexive and generalized modal languages
Notre Dame Journal of Formal Logic | 2008-02-22 | Paper |
