| Publication | Date of Publication | Type |
|---|
Blok-Esakia theorems via stable canonical rules
The Journal of Symbolic Logic | 2026-03-11 | Paper |
Weak simplicial bisimilarity and minimisation for polyhedral model checking
Logical Methods in Computer Science | 2026-02-13 | Paper |
The topology of surprise
Artificial Intelligence | 2025-12-12 | Paper |
| Modern faces of filtration | 2025-10-24 | Paper |
A calculus for modal compact Hausdorff spaces
Journal of Logic and Computation | 2025-09-30 | Paper |
| The Goldblatt-Thomason theorem for derivative spaces | 2025-06-26 | Paper |
| Logics of polyhedral reachability | 2025-06-26 | Paper |
| Coalgebraic semantics for intuitionistic modal logic | 2025-06-26 | Paper |
On Shehtman's two problems
Journal of the London Mathematical Society. Second Series | 2025-06-12 | Paper |
The topological mu-calculus: completeness and decidability
Journal of the ACM | 2025-02-05 | Paper |
| Minimisation in logical form | 2024-10-01 | Paper |
| Intermediate logics in the setting of team semantics | 2024-10-01 | Paper |
Bi-intermediate logics of trees and co-trees
Annals of Pure and Applied Logic | 2024-08-08 | Paper |
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
Journal of Symbolic Logic | 2024-04-05 | Paper |
Modal structures in groups and vector spaces
Journal Of Logic And Computation | 2024-02-08 | Paper |
Positive modal logic beyond distributivity
Annals of Pure and Applied Logic | 2023-12-18 | Paper |
A study of subminimal logics of negation and their modal companions
Lecture Notes in Computer Science | 2023-12-01 | Paper |
| On Shehtman's Two Problems | 2023-08-25 | Paper |
| The Intermediate Logic of Convex Polyhedra | 2023-07-31 | Paper |
| Degrees of the finite model property: the antidichotomy theorem | 2023-07-14 | Paper |
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Studia Logica | 2023-04-21 | Paper |
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
Outstanding Contributions to Logic | 2023-04-05 | Paper |
scientific article; zbMATH DE number 7649890 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Geometric Model Checking of Continuous Space
Logical Methods in Computer Science | 2023-01-09 | Paper |
Coalgebraic Geometric Logic: Basic Theory
Logical Methods in Computer Science | 2023-01-09 | Paper |
| Bi-intermediate logics of trees and co-trees | 2022-11-27 | Paper |
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
The Review of Symbolic Logic | 2022-11-08 | Paper |
Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
Annals of Pure and Applied Logic | 2022-10-14 | Paper |
| Intermediate logics in the setting of team semantics | 2022-09-20 | Paper |
| scientific article; zbMATH DE number 7585710 (Why is no real title available?) | 2022-09-15 | Paper |
| scientific article; zbMATH DE number 7585702 (Why is no real title available?) | 2022-09-15 | 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 |
| Topological Evidence Logics: Multi-agent Setting | 2022-08-11 | Paper |
| Translational Embeddings via Stable Canonical Rules | 2022-06-17 | Paper |
Admissibility of $\Pi_2$-Inference Rules: interpolation, model completion, and contact algebras
(available as arXiv preprint) | 2022-01-16 | Paper |
| A new game equivalence and its modal logic | 2021-12-14 | Paper |
A new game equivalence and its modal logic
(available as arXiv preprint) | 2021-12-14 | Paper |
| Games for topological fixpoint logic | 2021-12-07 | Paper |
Games for topological fixpoint logic
(available as arXiv preprint) | 2021-12-07 | Paper |
Profiniteness and representability of spectra of Heyting algebras
Advances in Mathematics | 2021-10-08 | Paper |
The McKinsey-Tarski theorem for locally compact ordered spaces
The Bulletin of Symbolic Logic | 2021-09-17 | Paper |
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
Journal of Symbolic Logic | 2021-07-12 | Paper |
A Coalgebraic Approach to Dualities for Neighborhood Frames
(available as arXiv preprint) | 2021-06-03 | Paper |
Tree-like constructions in topology and modal logic
Archive for Mathematical Logic | 2021-04-16 | Paper |
Diego's theorem for nuclear implicative semilattices
Indagationes Mathematicae. New Series | 2021-03-14 | Paper |
Profiniteness and representability of spectra of Heyting algebras
(available as arXiv preprint) | 2021-03-03 | Paper |
| Duality for instantial neighbourhood logic via coalgebra | 2021-02-22 | Paper |
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
Journal Of Logic And Computation | 2020-12-15 | Paper |
Choice-free Stone duality
Journal of Symbolic Logic | 2020-04-17 | Paper |
Choice-free Stone duality
Journal of Symbolic Logic | 2020-04-17 | Paper |
| Algebraic and topological semantics for inquisitive logic via choice-free duality | 2020-03-04 | Paper |
| The Mckinsey-Tarski theorem for topological evidence logics | 2020-03-04 | Paper |
| The topology of full and weak belief | 2020-01-15 | Paper |
| Universal models for the positive fragment of intuitionistic logic | 2020-01-15 | Paper |
A strict implication calculus for compact Hausdorff spaces
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
A propositional dynamic logic for instantial neighborhood semantics
Studia Logica | 2019-09-03 | Paper |
A new game equivalence, its logic and algebra
Journal of Philosophical Logic | 2019-09-03 | Paper |
| An algebraic approach to filtrations for superintuitionistic logics | 2019-07-24 | Paper |
A topological approach to full belief
Journal of Philosophical Logic | 2019-06-17 | Paper |
On modal logics arising from scattered locally compact Hausdorff spaces
Annals of Pure and Applied Logic | 2019-03-14 | Paper |
Subframization and stabilization for superintuitionistic logics
Journal Of Logic And Computation | 2019-03-01 | Paper |
A new proof of the McKinsey-Tarski theorem
Studia Logica | 2018-12-21 | Paper |
Stable modal logics
The Review of Symbolic Logic | 2018-10-25 | Paper |
Stable formulas in intuitionistic logic
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
Stable formulas in intuitionistic logic
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
The Review of Symbolic Logic | 2018-05-03 | Paper |
| scientific article; zbMATH DE number 6863852 (Why is no real title available?) | 2018-04-23 | Paper |
Tarski's theorem on intuitionistic logic, for polyhedra
Annals of Pure and Applied Logic | 2018-03-21 | Paper |
One-step Heyting algebras and hypersequent calculi with the bounded proof property
Journal Of Logic And Computation | 2018-02-13 | Paper |
A bimodal perspective on possibility semantics
Journal Of Logic And Computation | 2018-02-13 | Paper |
Krull dimension in modal logic
Journal of Symbolic Logic | 2018-01-11 | Paper |
| A propositional dynamic logic for instantial neighborhood models | 2017-11-22 | Paper |
| Quotient dynamics: the logic of abstraction | 2017-11-22 | Paper |
Irreducible equivalence relations, Gleason spaces, and de Vries duality
Applied Categorical Structures | 2017-08-10 | Paper |
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
Algebra Universalis | 2017-06-22 | Paper |
Instantial neighbourhood logic
The Review of Symbolic Logic | 2017-05-31 | Paper |
Sahlqvist preservation for topological fixed-point logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
Cofinal stable logics
Studia Logica | 2017-03-02 | Paper |
Locally finite reducts of Heyting algebras and canonical formulas
Notre Dame Journal of Formal Logic | 2017-02-17 | Paper |
Justified belief and the topology of evidence
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Admissible bases via stable canonical rules
Studia Logica | 2016-05-17 | Paper |
Stable canonical rules
The Journal of Symbolic Logic | 2016-05-09 | Paper |
\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
Georgian Mathematical Journal | 2015-12-07 | Paper |
Duality and universal models for the meet-implication fragment of IPC
Logic, Language, and Computation | 2015-12-03 | Paper |
Changing a Semantics: Opportunism or Courage?
Studies in Universal Logic | 2015-11-27 | Paper |
Free modal algebras revisited: the step-by-step method
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Modal operators on compact regular frames and de Vries algebras.
Applied Categorical Structures | 2015-06-19 | Paper |
Structures for epistemic logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Modal compact Hausdorff spaces
Journal Of Logic And Computation | 2015-02-26 | Paper |
The bounded proof property via step algebras and step frames
Annals of Pure and Applied Logic | 2014-09-10 | Paper |
The topology of belief, belief revision and defeasible knowledge
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
| Varieties of two-dimensional cylindric algebras | 2013-10-16 | Paper |
Bounded proofs and step frames
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Canonical formulas \(\mathbf{wK4}\)
The Review of Symbolic Logic | 2013-01-10 | Paper |
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
Algebra Universalis | 2012-11-27 | Paper |
Sahlqvist correspondence for modal mu-calculus
Studia Logica | 2012-10-01 | Paper |
Extendible formulas in two variables in intuitionistic logic
Studia Logica | 2012-10-01 | Paper |
Minimization via duality
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Free Heyting algebras: revisited
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Sahlqvist theorem for modal fixed point logic
Theoretical Computer Science | 2012-05-14 | Paper |
An algebraic approach to canonical formulas: modal case
Studia Logica | 2011-11-23 | Paper |
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Logical Methods in Computer Science | 2011-05-26 | Paper |
Vietoris bisimulations
Journal Of Logic And Computation | 2010-11-11 | Paper |
Bitopological duality for distributive lattices and Heyting algebras
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
The Review of Symbolic Logic | 2009-11-12 | Paper |
Frame based formulas for intermediate logics
Studia Logica | 2009-03-17 | Paper |
Free Modal Algebras: A Coalgebraic Perspective
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Profinite Heyting algebras
Order | 2008-11-17 | Paper |
The Kuznetsov-Gerčiu and Rieger-Nishimura logics
Logic and Logical Philosophy | 2008-11-10 | Paper |
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
Journal Of Logic And Computation | 2006-07-03 | Paper |
Varieties of two-dimensional cylindric algebras. II
Algebra Universalis | 2006-01-17 | Paper |
Varieties of two-dimensional cylindric algebras. I: Diagonal-free case.
Algebra Universalis | 2005-04-19 | Paper |
All normal extensions of S5-squared are finitely axiomatizable
Studia Logica | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 1850738 (Why is no real title available?) | 2003-07-25 | Paper |
All proper normal extensions of S5-square have the polynomial size model property
Studia Logica | 2003-06-09 | Paper |
A calculus for modal compact Hausdorff spaces
(available as arXiv preprint) | N/A | Paper |
