| Publication | Date of Publication | Type |
|---|
Weak simplicial bisimilarity and minimisation for polyhedral model checking
Logical Methods in Computer Science | 2026-02-13 | Paper |
| Logics of polyhedral reachability | 2025-06-26 | Paper |
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
Journal of Symbolic Logic | 2024-04-05 | Paper |
| On bisimilarity for polyhedral models and \texttt{SLCS} | 2024-01-11 | Paper |
| The Intermediate Logic of Convex Polyhedra | 2023-07-31 | Paper |
Geometric Model Checking of Continuous Space
Logical Methods in Computer Science | 2023-01-09 | Paper |
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
Journal of Mathematical Logic | 2022-12-13 | Paper |
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
(available as arXiv preprint) | 2021-04-13 | Paper |
Diego's theorem for nuclear implicative semilattices
Indagationes Mathematicae. New Series | 2021-03-14 | Paper |
Compact Hausdorff spaces with relations and Gleason spaces
Applied Categorical Structures | 2019-12-06 | Paper |
| Modal logic of planar polygons | 2018-07-08 | Paper |
Spectra of compact regular frames
Theory and Applications of Categories | 2016-05-26 | Paper |
Admissible bases via stable canonical rules
Studia Logica | 2016-05-17 | Paper |
| scientific article; zbMATH DE number 6520724 (Why is no real title available?) | 2015-12-14 | Paper |
Topological completeness of the provability logic GLP
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
Topological completeness of logics above \(\mathbf{S4}\)
Journal of Symbolic Logic | 2015-08-14 | Paper |
Topological interpretations of provability logic
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Modal logics of metric spaces
The Review of Symbolic Logic | 2015-04-24 | Paper |
Funayama's theorem revisited
Algebra Universalis | 2013-12-23 | Paper |
Spectral and \(T _{0}\)-spaces in d-semantics
Logic, Language, and Computation | 2011-07-29 | Paper |
| K4.Grz and hereditarily irresolvable spaces | 2011-05-31 | Paper |
Connected modal logics
Archive for Mathematical Logic | 2011-05-11 | Paper |
Bitopological duality for distributive lattices and Heyting algebras
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
The modal logic of Stone spaces: diamond as derivative
The Review of Symbolic Logic | 2010-04-01 | Paper |
Modal languages for topology: expressivity and definability
Annals of Pure and Applied Logic | 2009-06-10 | Paper |
Non-primitive recursive decidability of products of modal logics with expanding domains
Annals of Pure and Applied Logic | 2006-09-14 | Paper |
Some results on modal axiomatization and definability for topological spaces
Studia Logica | 2006-03-17 | Paper |
Products of ‘transitive” modal logics
Journal of Symbolic Logic | 2006-01-16 | Paper |
scientific article; zbMATH DE number 2243382 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
