| Publication | Date of Publication | Type |
|---|
Sub-sub-intuitionistic logic
Notre Dame Journal of Formal Logic | 2026-08-28 | Paper |
Intuitionistic monotone modal logic via translation
Journal of Logic and Computation | 2026-06-02 | Paper |
Filling in the semantics for intuitionistic conditional logic
(available as arXiv preprint) | 2026-01-01 | Paper |
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
(available as arXiv preprint) | 2026-01-01 | Paper |
Relational semantics for flat Heyting-Lewis Logic
(available as arXiv preprint) | 2026-01-01 | Paper |
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
(available as arXiv preprint) | 2026-01-01 | Paper |
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
(available as arXiv preprint) | 2026-01-01 | Paper |
Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic
(available as arXiv preprint) | 2026-01-01 | Paper |
Intuitionistic \textsf{S4} as a logic of topological spaces
Journal of Logic and Computation | 2025-10-29 | Paper |
| Modal logics for mobile processes revisited | 2025-06-26 | Paper |
Intuitionistic monotone modal logic via translation
(available as arXiv preprint) | 2025-01-01 | Paper |
Intrinsic and relative characterization results for logics with negative modalities
(available as arXiv preprint) | 2025-01-01 | Paper |
Non-distributive positive logic as a fragment of first-order logic over semilattices
Journal Of Logic And Computation | 2024-02-08 | Paper |
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
(available as arXiv preprint) | 2024-01-01 | Paper |
Sub-sub-intuitionistic logic
(available as arXiv preprint) | 2024-01-01 | Paper |
Positive modal logic beyond distributivity
Annals of Pure and Applied Logic | 2023-12-18 | Paper |
scientific article; zbMATH DE number 7668111 (Why is no real title available?)
(available as arXiv preprint) | 2023-03-24 | Paper |
Coalgebraic geometric logic
(available as arXiv preprint) | 2023-02-03 | Paper |
Coalgebraic Geometric Logic: Basic Theory
Logical Methods in Computer Science | 2023-01-09 | Paper |
Logic-induced bisimulations
(available as arXiv preprint) | 2022-09-15 | Paper |
Modal meet-implication logic
(available as arXiv preprint) | 2022-08-30 | Paper |
| Modal meet-implication logic | 2022-08-30 | Paper |
scientific article; zbMATH DE number 7577568 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577568 (Why is no real title available?) | 2022-08-30 | Paper |
Monotone subintuitionistic logic: duality and transfer results
Notre Dame Journal of Formal Logic | 2022-07-13 | Paper |
Hennessy-Milner properties via topological compactness
Information and Computation | 2022-06-13 | Paper |
Hennessy-Milner and van Benthem for instantial neighbourhood logic
Studia Logica | 2022-06-01 | Paper |
Positive monotone modal logic
Studia Logica | 2021-11-11 | Paper |
A Coalgebraic Approach to Dualities for Neighborhood Frames
(available as arXiv preprint) | 2021-06-03 | Paper |
| G\"{o}del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication | 2021-05-05 | Paper |
Hennessy-Milner Properties via Topological Compactness
(available as arXiv preprint) | 2021-05-04 | Paper |
| Duality for instantial neighbourhood logic via coalgebra | 2021-02-22 | Paper |
Modal intuitionistic logics as dialgebraic logics
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Modal meet-implication logic
(available as arXiv preprint) | 2020-12-26 | Paper |
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
(available as arXiv preprint) | 2020-11-20 | Paper |
Logic-Induced Bisimulations
(available as arXiv preprint) | 2020-08-20 | Paper |
| Hennessy-Milner properties for (modal) bi-intuitionistic logic | 2020-03-04 | Paper |
