| Publication | Date of Publication | Type |
|---|
Seurat games on Stockmeyer graphs
Journal of Graph Theory | 2023-10-04 | Paper |
EXPTIME-hardness of higher-dimensional Minkowski spacetime
| 2023-03-24 | Paper |
The algebra of non-deterministic programs: demonic operations, orders and axioms
Logic Journal of the IGPL | 2022-11-09 | Paper |
Relation algebras of intervals
Artificial Intelligence | 2022-09-23 | Paper |
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
Journal of Symbolic Logic | 2022-08-29 | Paper |
EXPTIME-hardness of higher-dimensional Minkowski spacetime
| 2022-06-14 | Paper |
Temporal logic of Minkowski spacetime
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Undecidability of Algebras of Binary Relations
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
A corrected strategy for proving no finite variable axiomatisation exists for RRA
| 2021-09-03 | Paper |
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
| 2021-05-14 | Paper |
Finite representability of semigroups with demonic refinement
Algebra Universalis | 2021-05-06 | Paper |
Axioms for signatures with domain and demonic composition
Algebra Universalis | 2021-04-16 | Paper |
Marxism, Logic and the Rate of Profit
| 2020-09-17 | Paper |
Finite Representability of Semigroups with Demonic Refinement
| 2020-09-15 | Paper |
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
| 2020-08-04 | Paper |
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
| 2019-07-24 | Paper |
Algebraic foundations for qualitative calculi and networks
Theoretical Computer Science | 2019-03-26 | Paper |
Meet-completions and ordered domain algebras
Logic Journal of the IGPL | 2019-01-08 | Paper |
Decidability of equational theories for subsignatures of relation algebra
| 2018-11-08 | Paper |
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
Journal of Symbolic Logic | 2018-10-26 | Paper |
Disjoint-union partial algebras
| 2017-07-13 | Paper |
There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
The Review of Symbolic Logic | 2017-05-31 | Paper |
The algebra of functions with antidomain and range
Journal of Pure and Applied Algebra | 2016-02-04 | Paper |
The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
The Journal of Symbolic Logic | 2014-09-30 | Paper |
Probabilistic logic over paths
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Ordered domain algebras
Journal of Applied Logic | 2014-04-17 | Paper |
Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations”
Journal of Symbolic Logic | 2014-04-04 | Paper |
Completions and complete representations
| 2013-10-16 | Paper |
Undecidability of representability as binary relations
Journal of Symbolic Logic | 2013-01-07 | Paper |
Completely representable lattices
Algebra Universalis | 2012-05-16 | Paper |
Weak representations of relation algebras and relational bases
Journal of Symbolic Logic | 2011-10-10 | Paper |
Positive fragments of relevance logic and algebras of binary relations
The Review of Symbolic Logic | 2011-06-10 | Paper |
Axiomatizability of representable domain algebras
The Journal of Logic and Algebraic Programming | 2011-02-09 | Paper |
The complexity of the warranted formula problem in propositional argumentation
Journal Of Logic And Computation | 2010-04-21 | Paper |
Strongly representable atom structures of cylindric algebras
Journal of Symbolic Logic | 2009-09-29 | Paper |
Games in algebraic logic: axiomatisations and beyond
| 2008-07-01 | Paper |
Representable semilattice-ordered monoids
Algebra Universalis | 2008-03-05 | Paper |
Peirce Algebras and Boolean Modules
Journal Of Logic And Computation | 2007-12-17 | Paper |
Relation algebra reducts of cylindric algebras and complete representations
Journal of Symbolic Logic | 2007-07-09 | Paper |
Analysis of Lyapunov modes for hard-disk fluids
| 2007-03-05 | Paper |
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
Logic Journal of the IGPL | 2005-09-28 | Paper |
Perturbed phase-space dynamics of hard-disk fluids
Physica D | 2004-08-10 | Paper |
Provability with Finitely Many Variables
The Bulletin of Symbolic Logic | 2003-11-19 | Paper |
scientific article; zbMATH DE number 1996351 (Why is no real title available?)
| 2003-10-22 | 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 |
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 |
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 |
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 |
Tractable approximations for temporal constraint handling
Artificial Intelligence | 2000-06-04 | Paper |
A finite relation algebra with undecidable network satisfaction problem
Logic Journal of the IGPL | 1999-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 |
Expressive power and complexity in algebraic logic
Journal Of Logic And Computation | 1997-07-17 | Paper |
Axiomatising Various Classes of Relation and Cylindric Algebras
Logic Journal of the IGPL | 1997-06-02 | Paper |
Completely Representable Relation Algebras
Logic Journal of the IGPL | 1995-11-28 | Paper |
From points to intervals
Journal of Applied Non-Classical Logics | 1994-08-28 | Paper |
An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
| N/A | Paper |
