| Publication | Date of Publication | Type |
|---|
| POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION | 2024-04-05 | Paper |
| Modal structures in groups and vector spaces | 2024-02-08 | Paper |
| Positive modal logic beyond distributivity | 2023-12-18 | Paper |
| A study of subminimal logics of negation and their modal companions | 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 | 2023-04-21 | Paper |
| Jankov Formulas and Axiomatization Techniques for Intermediate Logics | 2023-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875347 | 2023-02-03 | Paper |
| Coalgebraic Geometric Logic: Basic Theory | 2023-01-09 | Paper |
| Geometric Model Checking of Continuous Space | 2023-01-09 | Paper |
| Bi-intermediate logics of trees and co-trees | 2022-11-27 | Paper |
| AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS | 2022-11-08 | Paper |
| Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras | 2022-10-14 | Paper |
| Intermediate logics in the setting of team semantics | 2022-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104693 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104701 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101337 | 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 | 2022-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016799 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015268 | 2021-12-07 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 2021-10-08 | Paper |
| THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES | 2021-09-17 | Paper |
| CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC | 2021-07-12 | Paper |
| A Coalgebraic Approach to Dualities for Neighborhood Frames | 2021-06-03 | Paper |
| Tree-like constructions in topology and modal logic | 2021-04-16 | Paper |
| Diego's theorem for nuclear implicative semilattices | 2021-03-14 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 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 | 2020-12-15 | Paper |
| CHOICE-FREE STONE DUALITY | 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 | 2019-10-07 | Paper |
| A propositional dynamic logic for instantial neighborhood semantics | 2019-09-03 | Paper |
| A new game equivalence, its logic and algebra | 2019-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224685 | 2019-07-24 | Paper |
| A topological approach to full belief | 2019-06-17 | Paper |
| On modal logics arising from scattered locally compact Hausdorff spaces | 2019-03-14 | Paper |
| Subframization and stabilization for superintuitionistic logics | 2019-03-01 | Paper |
| A new proof of the McKinsey-Tarski theorem | 2018-12-21 | Paper |
| STABLE MODAL LOGICS | 2018-10-25 | Paper |
| Stable formulas in intuitionistic logic | 2018-09-19 | Paper |
| TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 | 2018-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636285 | 2018-04-23 | Paper |
| Tarski's theorem on intuitionistic logic, for polyhedra | 2018-03-21 | Paper |
| A bimodal perspective on possibility semantics | 2018-02-13 | Paper |
| One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property | 2018-02-13 | Paper |
| KRULL DIMENSION IN MODAL 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 | 2017-08-10 | Paper |
| Canonical formulas for \(k\)-potent commutative, integral, residuated lattices | 2017-06-22 | Paper |
| INSTANTIAL NEIGHBOURHOOD LOGIC | 2017-05-31 | Paper |
| Sahlqvist preservation for topological fixed-point logic | 2017-05-17 | Paper |
| Cofinal stable logics | 2017-03-02 | Paper |
| Locally finite reducts of Heyting algebras and canonical formulas | 2017-02-17 | Paper |
| Justified Belief and the Topology of Evidence | 2016-09-09 | Paper |
| Admissible bases via stable canonical rules | 2016-05-17 | Paper |
| STABLE CANONICAL RULES | 2016-05-09 | Paper |
| \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces | 2015-12-07 | Paper |
| Duality and Universal Models for the Meet-Implication Fragment of IPC | 2015-12-03 | Paper |
| Changing a Semantics: Opportunism or Courage? | 2015-11-27 | Paper |
| Modal operators on compact regular frames and de Vries algebras. | 2015-06-19 | Paper |
| Free Modal Algebras Revisited: The Step-by-Step Method | 2015-06-19 | Paper |
| Structures for Epistemic Logic | 2015-05-11 | Paper |
| Modal compact Hausdorff spaces | 2015-02-26 | Paper |
| The bounded proof property via step algebras and step frames | 2014-09-10 | Paper |
| The Topology of Belief, Belief Revision and Defeasible Knowledge | 2013-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853708 | 2013-10-16 | Paper |
| Bounded Proofs and Step Frames | 2013-10-04 | Paper |
| CANONICAL FORMULAS FOR wK4 | 2013-01-10 | Paper |
| Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators | 2012-11-27 | Paper |
| Sahlqvist correspondence for modal mu-calculus | 2012-10-01 | Paper |
| Extendible formulas in two variables in intuitionistic logic | 2012-10-01 | Paper |
| Minimization via Duality | 2012-09-21 | Paper |
| Free Heyting Algebras: Revisited | 2012-06-01 | Paper |
| Sahlqvist theorem for modal fixed point logic | 2012-05-14 | Paper |
| An algebraic approach to canonical formulas: modal case | 2011-11-23 | Paper |
| Finitely generated free Heyting algebras via Birkhoff duality and coalgebra | 2011-05-26 | Paper |
| Vietoris Bisimulations | 2010-11-11 | Paper |
| Bitopological duality for distributive lattices and Heyting algebras | 2010-06-02 | Paper |
| AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE | 2009-11-12 | Paper |
| Frame based formulas for intermediate logics | 2009-03-17 | Paper |
| Free Modal Algebras: A Coalgebraic Perspective | 2009-03-10 | Paper |
| Profinite Heyting algebras | 2008-11-17 | Paper |
| The Kuznetsov-Gerčiu and Rieger-Nishimura logics | 2008-11-10 | Paper |
| Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators | 2006-07-03 | Paper |
| Varieties of two-dimensional cylindric algebras. II | 2006-01-17 | Paper |
| Varieties of two-dimensional cylindric algebras. I: Diagonal-free case. | 2005-04-19 | Paper |
| All normal extensions of S5-squared are finitely axiomatizable | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787880 | 2003-07-25 | Paper |
| All proper normal extensions of S5-square have the polynomial size model property | 2003-06-09 | Paper |
