| Publication | Date of Publication | Type |
|---|
| Cover systems for the modalities of linear logic | 2024-03-25 | Paper |
| Strong completeness of a first-order temporal logic for real time | 2023-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883180 | 2023-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869720 | 2022-09-28 | Paper |
| Canonicity in power and modal logics of finite achronal width | 2022-07-25 | Paper |
| Modal Logics of Some Hereditarily Irresolvable Spaces | 2022-02-04 | Paper |
| Modal Logics that Bound the Circumference of Transitive Frames | 2021-12-10 | Paper |
| Definable operators on stable set lattices | 2021-05-25 | Paper |
| STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES | 2020-08-26 | Paper |
| Mereocompactness and Duality for Mereotopological Spaces | 2020-08-07 | Paper |
| Ultraproducts of Admissible Models for Quantified Modal Logic | 2020-02-04 | Paper |
| Morphisms and Duality for Polarities and Lattices with Operators | 2019-02-26 | Paper |
| Canonical extensions and ultraproducts of polarities | 2018-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636043 | 2018-04-23 | Paper |
| The finite model property for logics with the tangle modality | 2018-04-04 | Paper |
| Tangled Closure Algebras | 2017-10-11 | Paper |
| Canonical extensions and ultraproducts of polarities | 2017-09-28 | Paper |
| Cameo of a Consummate Computabilist | 2017-04-04 | Paper |
| Spatial logic of tangled closure operators and modal mu-calculus | 2017-03-16 | Paper |
| Fine's Theorem on First-Order Complete Modal Logics | 2016-04-07 | Paper |
| The Countable Henkin Principle | 2015-11-27 | Paper |
| Well-structured program equivalence is highly undecidable | 2015-09-17 | Paper |
| Equivalent Beliefs in Dynamic Doxastic Logic | 2015-04-10 | Paper |
| The power of a propositional constant | 2014-09-18 | Paper |
| A Calculus of Terms for Coalgebras of Polynomial Functors | 2013-04-26 | Paper |
| Topological proofs of some Rasiowa-Sikorski lemmas | 2012-10-01 | Paper |
| Cover semantics for quantified lax logic | 2011-12-19 | Paper |
| Grishin algebras and cover systems for classical bilinear logic | 2011-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5198903 | 2011-08-09 | Paper |
| Deduction Systems for Coalgebras Over Measurable Spaces | 2010-11-11 | Paper |
| Monadic bounded algebras | 2010-10-15 | Paper |
| Functional monadic bounded algebras | 2010-10-15 | Paper |
| CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION | 2009-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629226 | 2009-05-27 | Paper |
| Commutativity of Quantifiers in Varying-Domain Kripke Models | 2009-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509054 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509055 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310880 | 2007-10-15 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Maps and monads for modal frames | 2006-10-27 | Paper |
| A modal proof theory for final polynomial coalgebras | 2006-09-14 | Paper |
| An alternative semantics for quantified relevant logic | 2006-07-05 | Paper |
| Final coalgebras and the Hennessy-Milner property | 2005-12-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465440 | 2005-08-22 | Paper |
| Erdős Graphs Resolve Fine's Canonicity Problem | 2005-05-24 | Paper |
| A comonadic account of behavioural covarieties of coalgebras | 2005-05-06 | Paper |
| Duality for some categories of coalgebras. | 2005-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661993 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818651 | 2004-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463931 | 2004-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460835 | 2004-03-29 | Paper |
| Mathematical modal logic: A view of its evolution | 2004-02-24 | Paper |
| Observational ultraproducts of polynomial coalgebras. | 2003-09-25 | Paper |
| Algebraic polymodal logic: a survey | 2003-06-17 | Paper |
| Quasi-Modal Equivalence of Canonical Structures | 2002-07-25 | Paper |
| What is the coalgebraic analogue of Birkhoff's variety theorem? | 2002-03-03 | Paper |
| Persistence and atomic generation for varieties of Boolean algebras with operators | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495853 | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217595 | 2000-07-24 | Paper |
| A finite equational axiomatization of the functional algebras for the lambda calculus | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218534 | 1998-11-12 | Paper |
| Enlargements of functional algebras for the lambda calculus | 1998-08-13 | Paper |
| Relativised quantification: Some canonical varieties of sequence-set algebras | 1998-06-02 | Paper |
| Elementary generation and canonicity for varieties of Boolean algebras with operators | 1997-01-19 | Paper |
| Parallel action: Concurrent dynamic logic with independent modalities | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011717 | 1992-09-27 | Paper |
| The McKinsey axiom is not canonical | 1992-06-27 | Paper |
| Varieties of complex algebras | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735709 | 1989-01-01 | Paper |
| Orthogonality and spacetime geometry | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773852 | 1987-01-01 | Paper |
| An algebraic study of well-foundedness | 1985-01-01 | Paper |
| On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic | 1985-01-01 | Paper |
| Topoi. The categorial analysis of logic. Rev. ed | 1984-01-01 | Paper |
| Orthomodularity is not elementary | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329467 | 1983-01-01 | Paper |
| The semantics of Hoare's iteration rule | 1982-01-01 | Paper |
| Axiomatising the logic of computer programming | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929723 | 1981-01-01 | Paper |
| Grothendieck Topology as Geometric Modality | 1981-01-01 | Paper |
| Diodorean modality in Minkowski spacetime | 1980-01-01 | Paper |
| Topoi. The categorial analysis of logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128789 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128788 | 1976-01-01 | Paper |
| Solution to a completeness problem of Lemmon and Scott | 1975-01-01 | Paper |
| The Stone Space of an Ortholattice | 1975-01-01 | Paper |
| First-order definability in modal logic | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088789 | 1975-01-01 | Paper |
| Semantic analysis of orthologic | 1974-01-01 | Paper |
| A study of Z modal systems | 1974-01-01 | Paper |
| Decidability of Some Extensions of J | 1974-01-01 | Paper |
| Metamathematics of modal logic | 1974-01-01 | Paper |
| Concerning the proper axiom for S4.04 and some related systems | 1973-01-01 | Paper |
| A new extension of S4 | 1973-01-01 | Paper |
| A Model‐Theoretic Study of Some Systems Containing S3 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5631079 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632543 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639693 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639694 | 1972-01-01 | Paper |
