| Publication | Date of Publication | Type |
|---|
| Algebraic frames in Priestley duality | 2025-01-06 | Paper |
| The category of topological spaces and open maps does not have products | 2024-11-08 | Paper |
| Semilattice base hierarchy for frames and its topological ramifications | 2024-11-01 | Paper |
| THE BAIRE CLOSURE AND ITS LOGIC | 2024-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061585 | 2023-12-08 | Paper |
| A frame-theoretic perspective on Esakia duality | 2023-10-17 | Paper |
| Deriving dualities in pointfree topology from Priestley duality | 2023-10-10 | Paper |
| McKinsey-Tarski algebras: an alternative pointfree approach to topology | 2023-10-05 | Paper |
| Vietoris endofunctor for closed relations and its de Vries dual | 2023-08-31 | Paper |
| On Shehtman's Two Problems | 2023-08-25 | Paper |
| On the structure of modal and tense operators on a boolean algebra | 2023-08-16 | Paper |
| A generalization of de Vries duality to closed relations between compact Hausdorff spaces | 2023-08-08 | Paper |
| Semilattice base hierarchy for frames and its topological ramifications | 2023-08-03 | Paper |
| A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras | 2023-07-18 | Paper |
| Degrees of the finite model property: the antidichotomy theorem | 2023-07-14 | Paper |
| Algebraic Frames in Priestley duality | 2023-06-11 | Paper |
| A unified approach to Gelfand and de Vries dualities | 2023-05-24 | Paper |
| De Vries powers and proximity Specker algebras | 2023-05-12 | Paper |
| Jankov Formulas and Axiomatization Techniques for Intermediate Logics | 2023-04-05 | Paper |
| TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS | 2023-03-02 | Paper |
| MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS | 2023-02-27 | Paper |
| Heyting frames and Esakia duality | 2023-02-15 | Paper |
| Remarks on hyperspaces for Priestley spaces | 2023-01-05 | Paper |
| A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras | 2022-12-13 | Paper |
| Hofmann-Mislove through the lenses of Priestley | 2022-11-23 | Paper |
| MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS | 2022-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104700 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101337 | 2022-08-30 | Paper |
| Deriving Priestley duality and its generalizations from Pontryagin duality for semilattices | 2022-07-28 | Paper |
| Remarks on Hyperspaces for Priestley Spaces | 2022-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028485 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5024058 | 2022-01-28 | Paper |
| A New Approach to the Katětov–Tong Theorem | 2022-01-05 | Paper |
| Canonical extensions, free completely distributive lattices, and complete retracts | 2021-12-08 | Paper |
| The Vietoris functor and modal operators on rings of continuous functions | 2021-10-29 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 2021-10-08 | Paper |
| Free bounded Archimedean \(\ell\)-algebras | 2021-09-29 | 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 |
| Raney algebras and duality for \(T_0\)-spaces | 2021-05-11 | Paper |
| The frame of nuclei on an Alexandroff space | 2021-04-16 | Paper |
| Tree-like constructions in topology and modal logic | 2021-04-16 | Paper |
| A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras | 2021-04-13 | Paper |
| Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations | 2021-03-21 | Paper |
| Diego's theorem for nuclear implicative semilattices | 2021-03-14 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 2021-03-03 | Paper |
| The Vietoris functor and modal operators on rings of continuous functions | 2020-10-30 | Paper |
| The Fell Compactification of a Poset | 2020-10-16 | Paper |
| Temporal interpretation of intuitionistic quantifiers: Monadic case | 2020-09-01 | Paper |
| Temporal interpretation of intuitionistic quantifiers | 2020-08-31 | Paper |
| Free bounded archimedean $\ell$-algebras | 2020-08-04 | Paper |
| Duality for powerset coalgebras | 2020-08-04 | Paper |
| Gelfand-Naimark-Stone duality for normal spaces and insertion theorems | 2020-07-08 | Paper |
| A generalization of Gelfand-Naimark-Stone duality to completely regular spaces | 2020-03-24 | Paper |
| When is the frame of nuclei spatial: a new approach | 2020-02-24 | Paper |
| Specker Algebras: A Survey | 2020-01-23 | Paper |
| Compact Hausdorff spaces with relations and Gleason spaces | 2019-12-06 | Paper |
| Characterization of metrizable Esakia spaces via some forbidden configurations | 2019-10-17 | Paper |
| A strict implication calculus for compact Hausdorff spaces | 2019-10-07 | Paper |
| Modal operators on rings of continuous functions | 2019-09-15 | Paper |
| An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces | 2019-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224685 | 2019-07-24 | Paper |
| A semantic hierarchy for intuitionistic logic | 2019-05-02 | Paper |
| An extension of de Vries duality to completely regular spaces and compactifications | 2019-03-18 | 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 |
| MacNeille transferability and stable classes of Heyting algebras | 2018-10-30 | Paper |
| STABLE MODAL LOGICS | 2018-10-25 | Paper |
| Canonical extensions of bounded Archimedean vector lattices | 2018-06-25 | Paper |
| TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 | 2018-05-03 | Paper |
| De Vries duality for compactifications and completely regular spaces | 2018-04-09 | Paper |
| KRULL DIMENSION IN MODAL LOGIC | 2018-01-11 | Paper |
| Proximity biframes and Nachbin spaces | 2017-12-15 | Paper |
| Pierce sheaves and commutative idempotent generated algebras | 2017-11-30 | Paper |
| Epimorphisms in varieties of residuated structures | 2017-10-20 | Paper |
| Irreducible equivalence relations, Gleason spaces, and de Vries duality | 2017-08-10 | Paper |
| Cofinal stable logics | 2017-03-02 | Paper |
| Locally finite reducts of Heyting algebras and canonical formulas | 2017-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2953832 | 2017-01-06 | Paper |
| Compact Hausdorff Heyting algebras | 2016-11-01 | Paper |
| Forbidden configurations and subframe varieties | 2016-10-26 | Paper |
| On the proof that compact Hausdorff Boolean algebras are powersets | 2016-08-24 | Paper |
| What Does “Less Than or Equal“ Really Mean? | 2016-06-16 | Paper |
| Spectra of compact regular frames | 2016-05-26 | Paper |
| Stable canonical rules | 2016-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3456337 | 2015-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3456347 | 2015-12-14 | Paper |
| \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces | 2015-12-07 | Paper |
| TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 | 2015-08-14 | Paper |
| Modal operators on compact regular frames and de Vries algebras. | 2015-06-19 | Paper |
| Esakia’s Biography and Bibliography | 2015-06-19 | Paper |
| De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces. | 2015-06-18 | Paper |
| Idempotent generated algebras and Boolean powers of commutative rings | 2015-05-04 | Paper |
| MODAL LOGICS OF METRIC SPACES | 2015-04-24 | Paper |
| Modal compact Hausdorff spaces | 2015-02-26 | Paper |
| Proximity frames and regularization. | 2014-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981546 | 2014-06-24 | Paper |
| Lattice subordinations and Priestley duality. | 2014-04-08 | Paper |
| Funayama's theorem revisited | 2013-12-23 | Paper |
| Logic for physical space. From antiquity to present day | 2013-11-25 | Paper |
| Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. | 2013-09-04 | Paper |
| Esakia style duality for implicative semilattices | 2013-03-25 | Paper |
| DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS | 2013-01-29 | Paper |
| CANONICAL FORMULAS FOR wK4 | 2013-01-10 | Paper |
| De Vries algebras and compact regular frames | 2013-01-02 | Paper |
| More on \(d\)-logics of subspaces of the rational numbers | 2012-11-23 | Paper |
| Foreword to the special issue dedicated to the memory of Leo Esakia | 2012-10-01 | Paper |
| Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP | 2012-09-18 | Paper |
| Modal logics of Stone spaces | 2012-07-31 | Paper |
| Priestley style duality for distributive meet-semilattices | 2012-03-09 | Paper |
| Order-compactifications of totally ordered spaces: Revisited | 2011-12-13 | Paper |
| Priestley rings and Priestley order-compactifications | 2011-12-13 | Paper |
| An algebraic approach to canonical formulas: modal case | 2011-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3099888 | 2011-11-22 | Paper |
| The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem | 2011-08-26 | Paper |
| Generalized Priestley quasi-orders | 2011-08-16 | Paper |
| Spectral and T 0-Spaces in d-Semantics | 2011-07-29 | Paper |
| An algebraic approach to subframe logics. Modal case | 2011-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001093 | 2011-05-31 | Paper |
| Connected modal logics | 2011-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081639 | 2011-03-09 | Paper |
| Bitopological duality for distributive lattices and Heyting algebras | 2010-06-02 | Paper |
| Scattered and hereditarily irresolvable spaces in modal logic | 2010-04-15 | Paper |
| THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE | 2010-04-01 | Paper |
| Stone duality and Gleason covers through de Vries duality | 2010-03-29 | Paper |
| AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634666 | 2009-06-25 | Paper |
| The modal logic of \({\beta(\mathbb{N})}\) | 2009-05-06 | Paper |
| Zero-dimensional proximities and zero-dimensional compactifications | 2009-04-29 | Paper |
| Comparison of MacNeille, canonical, and profinite completions | 2009-04-24 | Paper |
| Profinite Heyting algebras | 2008-11-17 | Paper |
| The Kuznetsov-Gerčiu and Rieger-Nishimura logics | 2008-11-10 | Paper |
| Topo-canonical completions of closure algebras and Heyting algebras | 2008-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5293993 | 2007-07-09 | Paper |
| An algebraic approach to subframe logics. Intuitionistic case | 2007-06-25 | Paper |
| Multimodal logics of products of topologies | 2007-01-29 | Paper |
| Profinite completions and canonical extensions of Heyting algebras | 2007-01-25 | Paper |
| Locally finite varieties of Heyting algebras | 2006-03-21 | Paper |
| Some results on modal axiomatization and definability for topological spaces | 2006-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692483 | 2005-09-28 | Paper |
| Locally finite varieties. | 2005-04-19 | Paper |
| Functional monadic Heyting algebras. | 2005-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4652057 | 2005-02-24 | Paper |
| Completeness of S4 with respect to the real line: revisited | 2005-01-31 | Paper |
| Reasoning About Space: The Modal Way | 2004-09-07 | Paper |
| Euclidean hierarchy in modal logic | 2004-01-14 | Paper |
| Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. | 2003-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329235 | 2002-09-25 | Paper |
| The Priestley separation axiom for scattered spaces | 2002-08-21 | Paper |
| Varieties of monadic Heyting algebras. III | 2002-03-10 | Paper |
| Varieties of monadic Heyting algebras. II: Duality theory | 2001-12-05 | Paper |
| Varieties of monadic Heyting algebras. I | 2001-07-19 | Paper |
| Glivenko type theorems for intuitionistic modal logics | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511318 | 2000-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703137 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704075 | 1999-12-02 | Paper |
| Local finiteness in varieties of MS4-algebras | N/A | Paper |
| Local compactness in MT-algebras | N/A | Paper |
| Subfitness in distributive (semi)lattices | N/A | Paper |
