| Publication | Date of Publication | Type |
|---|
Canonicity in power and modal logics of finite achronal width
The Review of Symbolic Logic | 2024-11-14 | Paper |
| Canonicity in power and modal logics of finite achronal width | 2022-07-25 | Paper |
Undecidability of Algebras of Binary Relations
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
| Non-representable relation algebras from vector spaces | 2021-02-06 | Paper |
| An application of first-order compactness in canonicity of relation algebras | 2020-12-18 | Paper |
Strong completeness of modal logics over 0-dimensional metric spaces
The Review of Symbolic Logic | 2020-08-26 | Paper |
On the variety generated by completions of representable relation algebras
Algebra Universalis | 2020-02-18 | 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
arXiv preprint | 2017-10-11 | Paper |
Simple completeness proofs for some spatial logics of the real line
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
Spatial logic of tangled closure operators and modal mu-calculus
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
Connections between Relation Algebras and Cylindric Algebras
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
On the Priorean temporal logic with `around now' over the real line
Journal Of Logic And Computation | 2015-02-11 | Paper |
Bare canonicity of representable cylindric and polyadic algebras
Annals of Pure and Applied Logic | 2013-12-11 | Paper |
| Completions and complete representations | 2013-10-16 | Paper |
A construction of cylindric and polyadic algebras from atomic relation algebras
Algebra Universalis | 2013-01-30 | 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 |
Sahlqvist theorem for modal fixed point logic
Theoretical Computer Science | 2012-05-14 | Paper |
On canonicity and completions of weakly representable relation algebras
Journal of Symbolic Logic | 2012-04-19 | Paper |
Weak representations of relation algebras and relational bases
Journal of Symbolic Logic | 2011-10-10 | Paper |
| Separation -- past, present, and future | 2011-07-06 | Paper |
Monodic fragments of first-order temporal logics: 2000--2001 A.D.
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Axiomatizing hybrid logic using modal logic
Journal of Applied Logic | 2011-03-22 | Paper |
The bounded fragment and hybrid logic with polyadic modalities
The Review of Symbolic Logic | 2010-07-23 | Paper |
A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
The Review of Symbolic Logic | 2010-07-23 | Paper |
Strongly representable atom structures of cylindric algebras
Journal of Symbolic Logic | 2009-09-29 | Paper |
| The McKinsey-Lemmon logic is barely canonical | 2009-05-27 | Paper |
The modal logic of affine planes is not finitely axiomatisable
Journal of Symbolic Logic | 2009-03-23 | Paper |
Commutativity of Quantifiers in Varying-Domain Kripke Models
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
Computer Science Logic | 2008-11-20 | Paper |
| Games in algebraic logic: axiomatisations and beyond | 2008-07-01 | Paper |
Hybrid formulas and elementarily generated modal logics
Notre Dame Journal of Formal Logic | 2007-08-01 | Paper |
Complexity of monodic guarded fragments over linear and real time
Annals of Pure and Applied Logic | 2005-12-29 | Paper |
Canonical varieties with no canonical axiomatisation
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
Erdős Graphs Resolve Fine's Canonicity Problem
The Bulletin of Symbolic Logic | 2005-05-24 | Paper |
Axiomatizing complex algebras by games.
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 2149469 (Why is no real title available?) | 2005-03-30 | Paper |
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
The Bulletin of Symbolic Logic | 2005-02-09 | Paper |
Provability with Finitely Many Variables
The Bulletin of Symbolic Logic | 2003-11-19 | Paper |
Axiomatizability of reducts of algebras of relations
Algebra Universalis | 2003-04-23 | Paper |
Monodic packed fragment with equality is decidable
Studia Logica | 2003-03-12 | Paper |
Relation algebras from cylindric algebras. II
Annals of Pure and Applied Logic | 2002-12-11 | Paper |
Relation algebras from cylindric algebras. I
Annals of Pure and Applied Logic | 2002-12-11 | Paper |
Decidable fragments of first-order temporal logics
Annals of Pure and Applied Logic | 2002-11-28 | Paper |
Relation algebra reducts of cylindric algebras and an application to proof theory
Journal of Symbolic Logic | 2002-10-29 | Paper |
Relation algebras by games
Studies in Logic and the Foundations of Mathematics | 2002-10-15 | Paper |
Loosely guarded fragment of first-order logic has the finite model property
Studia Logica | 2002-07-08 | Paper |
| scientific article; zbMATH DE number 1735912 (Why is no real title available?) | 2002-04-29 | Paper |
Strongly representable atom structures of relation algebras
Proceedings of the American Mathematical Society | 2002-03-19 | Paper |
The \(k\)-variable property is stronger than H-dimension \(k\)
Journal of Philosophical Logic | 2001-11-25 | Paper |
Representability is not decidable for finite relation algebras
Transactions of the American Mathematical Society | 2001-02-19 | Paper |
Relation algebras with \(n\)-dimensional relational bases
Annals of Pure and Applied Logic | 2001-01-29 | Paper |
Finite algebras of relations are representable on finite sets
Journal of Symbolic Logic | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1222484 (Why is no real title available?) | 1999-08-31 | Paper |
Atom structures of cylindric algebras and relation algebras
Annals of Pure and Applied Logic | 1998-11-01 | Paper |
Step by step – Building representations in algebraic logic
Journal of Symbolic Logic | 1997-12-22 | Paper |
Complete representations in algebraic logic
Journal of Symbolic Logic | 1997-12-17 | Paper |
Axiomatising Various Classes of Relation and Cylindric Algebras
Logic Journal of the IGPL | 1997-06-02 | Paper |
On Gabbay's temporal fixed point operator
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 747023 (Why is no real title available?) | 1995-04-24 | Paper |
Finite \(H\)-dimension does not imply expressive completeness
Journal of Philosophical Logic | 1994-11-09 | Paper |
| scientific article; zbMATH DE number 559224 (Why is no real title available?) | 1994-04-28 | Paper |
The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
Journal of the London Mathematical Society | 1994-04-27 | Paper |
A Construction of Many Uncountable Rings Using SFP Domains and Aronszajn Trees
Proceedings of the London Mathematical Society | 1994-04-12 | Paper |
| scientific article; zbMATH DE number 510781 (Why is no real title available?) | 1994-04-04 | Paper |
| scientific article; zbMATH DE number 446838 (Why is no real title available?) | 1994-01-09 | Paper |
Automorphisms of Bounded Abelian Groups
Forum Mathematicum | 1992-06-28 | Paper |
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Journal Of Logic And Computation | 1992-06-25 | Paper |
Omega-categoricity, relative categoricity and coordinatisation
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Relational structures determined by their finite induced substructures
Journal of Symbolic Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3918350 (Why is no real title available?) | 1985-01-01 | Paper |
