| Publication | Date of Publication | Type |
|---|
Canonicity in power and modal logics of finite achronal width
The Review of Symbolic Logic | 2024-11-14 | Paper |
Cover systems for the modalities of linear logic
Outstanding Contributions to Logic | 2024-03-25 | Paper |
| Strong completeness of a first-order temporal logic for real time | 2023-10-30 | Paper |
| Morphisms and duality for polarities and lattices with operators | 2023-03-29 | Paper |
scientific article; zbMATH DE number 7594252 (Why is no real title available?)
(available as arXiv preprint) | 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
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Modal Logics that Bound the Circumference of Transitive Frames
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Definable operators on stable set lattices
Studia Logica | 2021-05-25 | Paper |
Strong completeness of modal logics over 0-dimensional metric spaces
The Review of Symbolic Logic | 2020-08-26 | Paper |
Mereocompactness and Duality for Mereotopological Spaces
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Ultraproducts of admissible models for quantified modal logic
Logic in Asia: Studia Logica Library | 2020-02-04 | Paper |
Morphisms and Duality for Polarities and Lattices with Operators
(available as arXiv preprint) | 2019-02-26 | Paper |
Canonical extensions and ultraproducts of polarities
Algebra Universalis | 2018-10-24 | Paper |
| scientific article; zbMATH DE number 6863653 (Why is no real title available?) | 2018-04-23 | Paper |
The finite model property for logics with the tangle modality
Studia Logica | 2018-04-04 | Paper |
Tangled closure algebras
(available as arXiv preprint) | 2017-10-11 | Paper |
Canonical extensions and ultraproducts of polarities
(available as arXiv preprint) | 2017-09-28 | Paper |
Cameo of a consummate computabilist
Computability and Complexity | 2017-04-04 | Paper |
Spatial logic of tangled closure operators and modal mu-calculus
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
| Fine's Theorem on First-Order Complete Modal Logics | 2016-04-07 | Paper |
The countable Henkin principle
Studies in Universal Logic | 2015-11-27 | Paper |
Well-structured program equivalence is highly undecidable
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Equivalent beliefs in dynamic doxastic logic
Outstanding Contributions to Logic | 2015-04-10 | Paper |
The power of a propositional constant
Journal of Philosophical Logic | 2014-09-18 | Paper |
A Calculus of Terms for Coalgebras of Polynomial Functors
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Topological proofs of some Rasiowa-Sikorski lemmas
Studia Logica | 2012-10-01 | Paper |
Cover semantics for quantified lax logic
Journal Of Logic And Computation | 2011-12-19 | Paper |
Grishin algebras and cover systems for classical bilinear logic
Studia Logica | 2011-11-23 | Paper |
| Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics | 2011-08-09 | Paper |
Deduction systems for coalgebras over measurable spaces
Journal Of Logic And Computation | 2010-11-11 | Paper |
Monadic bounded algebras
Studia Logica | 2010-10-15 | Paper |
Functional monadic bounded algebras
Studia Logica | 2010-10-15 | Paper |
CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
The Review of Symbolic Logic | 2009-08-26 | Paper |
| The McKinsey-Lemmon logic is barely canonical | 2009-05-27 | Paper |
Commutativity of Quantifiers in Varying-Domain Kripke Models
Towards Mathematical Philosophy | 2009-02-05 | Paper |
| scientific article; zbMATH DE number 5295712 (Why is no real title available?) | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5295711 (Why is no real title available?) | 2008-07-01 | Paper |
| Axiomatic classes of intuitionistic models | 2007-10-15 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Maps and monads for modal frames
Studia Logica | 2006-10-27 | Paper |
A modal proof theory for final polynomial coalgebras
Theoretical Computer Science | 2006-09-14 | Paper |
An alternative semantics for quantified relevant logic
Journal of Symbolic Logic | 2006-07-05 | Paper |
Final coalgebras and the Hennessy-Milner property
Annals of Pure and Applied Logic | 2005-12-29 | Paper |
| scientific article; zbMATH DE number 2196590 (Why is no real title available?) | 2005-08-22 | Paper |
Erdős Graphs Resolve Fine's Canonicity Problem
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science | 2005-05-06 | Paper |
Duality for some categories of coalgebras.
Algebra Universalis | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 2149469 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2104415 (Why is no real title available?) | 2004-09-30 | Paper |
| scientific article; zbMATH DE number 2070195 (Why is no real title available?) | 2004-06-08 | Paper |
| scientific article; zbMATH DE number 2063220 (Why is no real title available?) | 2004-03-29 | Paper |
Mathematical modal logic: A view of its evolution
Journal of Applied Logic | 2004-02-24 | Paper |
Observational ultraproducts of polynomial coalgebras.
Annals of Pure and Applied Logic | 2003-09-25 | Paper |
Algebraic polymodal logic: a survey
Logic Journal of the IGPL | 2003-06-17 | Paper |
Quasi-modal equivalence of canonical structures
The Journal of Symbolic Logic | 2002-07-25 | Paper |
What is the coalgebraic analogue of Birkhoff's variety theorem?
Theoretical Computer Science | 2002-03-03 | Paper |
Persistence and atomic generation for varieties of Boolean algebras with operators
Studia Logica | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1489632 (Why is no real title available?) | 2000-08-13 | Paper |
| scientific article; zbMATH DE number 1222100 (Why is no real title available?) | 2000-07-24 | Paper |
A finite equational axiomatization of the functional algebras for the lambda calculus
Information and Computation | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1222940 (Why is no real title available?) | 1998-11-12 | Paper |
Enlargements of functional algebras for the lambda calculus
Theoretical Computer Science | 1998-08-13 | Paper |
Relativised quantification: Some canonical varieties of sequence-set algebras
Journal of Symbolic Logic | 1998-06-02 | Paper |
Elementary generation and canonicity for varieties of Boolean algebras with operators
Algebra Universalis | 1997-01-19 | Paper |
Parallel action: Concurrent dynamic logic with independent modalities
Studia Logica | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 67029 (Why is no real title available?) | 1992-09-27 | Paper |
The McKinsey axiom is not canonical
Journal of Symbolic Logic | 1992-06-27 | Paper |
Varieties of complex algebras
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4122729 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4033710 (Why is no real title available?) | 1987-01-01 | Paper |
Orthogonality and spacetime geometry
Universitext | 1987-01-01 | Paper |
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
Journal of Symbolic Logic | 1985-01-01 | Paper |
An algebraic study of well-foundedness
Studia Logica | 1985-01-01 | Paper |
Orthomodularity is not elementary
Journal of Symbolic Logic | 1984-01-01 | Paper |
Topoi. The categorial analysis of logic. Rev. ed
Studies in Logic and the Foundations of Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3861159 (Why is no real title available?) | 1983-01-01 | Paper |
Axiomatising the logic of computer programming
Lecture Notes in Computer Science | 1982-01-01 | Paper |
The semantics of Hoare's iteration rule
Studia Logica | 1982-01-01 | Paper |
Grothendieck Topology as Geometric Modality
Mathematical Logic Quarterly | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3743231 (Why is no real title available?) | 1981-01-01 | Paper |
Diodorean modality in Minkowski spacetime
Studia Logica | 1980-01-01 | Paper |
Topoi. The categorial analysis of logic
Studies in Logic and the Foundations of Mathematics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3554259 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3554258 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3508462 (Why is no real title available?) | 1975-01-01 | Paper |
The Stone Space of an Ortholattice
Bulletin of the London Mathematical Society | 1975-01-01 | Paper |
First-order definability in modal logic
Journal of Symbolic Logic | 1975-01-01 | Paper |
Solution to a completeness problem of Lemmon and Scott
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Semantic analysis of orthologic
Journal of Philosophical Logic | 1974-01-01 | Paper |
Decidability of Some Extensions of J
Mathematical Logic Quarterly | 1974-01-01 | Paper |
Metamathematics of modal logic
Bulletin of the Australian Mathematical Society | 1974-01-01 | Paper |
A study of Z modal systems
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Concerning the proper axiom for S4.04 and some related systems
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
A new extension of S4
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
A Model‐Theoretic Study of Some Systems Containing S3
Mathematical Logic Quarterly | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3358440 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3356734 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3366899 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3366900 (Why is no real title available?) | 1972-01-01 | Paper |
