| Publication | Date of Publication | Type |
|---|
| Logic families | 2023-11-01 | Paper |
| A note on the submodel preservation property in fragments of first-order logic | 2023-03-23 | Paper |
| Testing definitional equivalence of theories via automorphism groups | 2022-11-25 | Paper |
Universal algebraic logic. Dedicated to the unity of science
Studies in Universal Logic | 2022-11-08 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
(available as arXiv preprint) | 2021-12-30 | Paper |
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
Journal of Symbolic Logic | 2021-10-27 | Paper |
Nonrepresentable relation algebras from groups
The Review of Symbolic Logic | 2021-05-11 | Paper |
Two-variable logic has weak, but not strong, Beth definability
(available as arXiv preprint) | 2020-10-02 | Paper |
Atoms in infinite dimensional free sequence-set algebras
Algebra Universalis | 2019-10-09 | Paper |
Varieties generated by completions
Algebra Universalis | 2019-07-10 | Paper |
Varieties generated by completions
Algebra Universalis | 2019-07-10 | Paper |
Term algebras of elementarily equivalent atom structures
Algebra Universalis | 2018-10-30 | Paper |
Term algebras of elementarily equivalent atom structures
Algebra Universalis | 2018-10-30 | Paper |
How many varieties of cylindric algebras are there
Transactions of the American Mathematical Society | 2017-10-12 | Paper |
On Tarski's axiomatic foundations of the calculus of relations
Journal of Symbolic Logic | 2017-09-27 | Paper |
Finite-Variable Logics Do Not Have Weak Beth Definability Property
Studies in Universal Logic | 2017-08-28 | Paper |
On a new semantics for first-order predicate logic
Journal of Philosophical Logic | 2017-07-19 | Paper |
A note on `Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox'
Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences | 2016-11-02 | Paper |
Ultraproducts of continuous posets
Algebra Universalis | 2016-10-26 | Paper |
| Free algebras of discriminator varieties generated by finite algebras are atomic | 2016-02-21 | Paper |
Changing a Semantics: Opportunism or Courage?
Studies in Universal Logic | 2015-11-27 | Paper |
Using Isabelle/HOL to verify first-order relativity theory
Journal of Automated Reasoning | 2015-06-23 | Paper |
Using Isabelle/HOL to verify first-order relativity theory
Journal of Automated Reasoning | 2015-06-23 | Paper |
Comparing theories: the dynamics of changing vocabulary
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
Studia Scientiarum Mathematicarum Hungarica | 2014-05-05 | Paper |
A logic road from special relativity to general relativity
Synthese | 2013-11-25 | Paper |
| Reducing first-order logic to \(\mathsf{Df}_3\), free algebras | 2013-10-16 | Paper |
| An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds | 2013-10-05 | Paper |
Closed timelike curves in relativistic computation
Parallel Processing Letters | 2013-08-16 | Paper |
Decidability, undecidability, and Gödel's incompleteness in relativity theories
Parallel Processing Letters | 2013-08-16 | Paper |
Residuated Kleene algebras
Logic and Program Semantics | 2012-07-16 | Paper |
| What are the numbers in which spacetime? | 2012-04-05 | Paper |
The equational theory of Kleene lattices
Theoretical Computer Science | 2012-01-04 | Paper |
| Formalizing set theory in weak logics, searching for the weakest logic with G\"odel's incompleteness property | 2011-11-03 | Paper |
| On Logical Analysis of Relativity Theories | 2011-05-04 | Paper |
| Vienna Circle and Logical Analysis of Relativity Theory | 2011-01-31 | Paper |
Epimorphisms in cylindric algebras and definability in finite variable logic
Algebra Universalis | 2010-01-04 | Paper |
General relativistic hypercomputing and foundation of mathematics
Natural Computing | 2009-10-19 | Paper |
Weakly higher order cylindric algebras and finite axiomatization of the representables
Studia Logica | 2009-03-17 | Paper |
A twist in the geometry of rotating black holes: seeking the cause of acausality
General Relativity and Gravitation | 2008-12-16 | Paper |
Axiomatizing relativistic dynamics without conservation postulates
Studia Logica | 2008-09-02 | Paper |
Omitting types for finite variable fragments and complete representations of algebras
Journal of Symbolic Logic | 2008-05-08 | Paper |
| A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
scientific article; zbMATH DE number 5168268 (Why is no real title available?)
(available as arXiv preprint) | 2007-06-28 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Twin paradox and the logical foundation of relativity theory
Foundations of Physics | 2006-10-04 | Paper |
| Logical axiomatizations of space-time. Samples from the literature | 2006-08-15 | Paper |
Relativistic computers and the Turing barrier
Applied Mathematics and Computation | 2006-08-04 | Paper |
| On generalizing the logic-approach to space-time towards general relativity: first steps | 2006-01-24 | Paper |
| Logical analysis of relativity theories | 2006-01-24 | Paper |
Mutual definability does not imply definitional equivalence, a simple example
MLQ | 2005-11-15 | Paper |
| scientific article; zbMATH DE number 1852925 (Why is no real title available?) | 2003-01-29 | Paper |
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski
Studia Scientiarum Mathematicarum Hungarica | 2002-10-20 | Paper |
On neat reducts of algebras of logic
Studia Logica | 2002-05-22 | Paper |
Non-Turing computations via Malament--Hogarth space-times
International Journal of Theoretical Physics | 2002-03-26 | Paper |
Representability of pairing relation algebras depends on your ontology
Fundamenta Informaticae | 2001-04-17 | Paper |
On the equational theory of representable polyadic equality algebras
Journal of Symbolic Logic | 2001-01-29 | Paper |
Notions of density that imply representability in algebraic logic
Annals of Pure and Applied Logic | 2000-02-15 | Paper |
Finite algebras of relations are representable on finite sets
Journal of Symbolic Logic | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1303460 (Why is no real title available?) | 1999-10-28 | Paper |
Persistent properties and an application to algebras of logic
Algebra Universalis | 1998-11-23 | Paper |
Modal languages and bounded fragments of predicate logic
Journal of Philosophical Logic | 1998-11-18 | Paper |
| scientific article; zbMATH DE number 1156790 (Why is no real title available?) | 1998-10-19 | Paper |
Relativised quantification: Some canonical varieties of sequence-set algebras
Journal of Symbolic Logic | 1998-06-02 | Paper |
Relation algebras from cylindric and polyadic algebras
Logic Journal of the IGPL | 1998-05-10 | Paper |
On the equational theory of representable polyadic equality algebras (extended abstract)
Logic Journal of the IGPL | 1998-04-29 | Paper |
| scientific article; zbMATH DE number 1047511 (Why is no real title available?) | 1997-12-22 | Paper |
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society | 1997-12-07 | Paper |
Strong representability of fork algebras, a set theoretic foundation
Logic Journal of the IGPL | 1997-11-21 | Paper |
| scientific article; zbMATH DE number 1047504 (Why is no real title available?) | 1997-11-05 | Paper |
| scientific article; zbMATH DE number 1047503 (Why is no real title available?) | 1997-08-11 | Paper |
| scientific article; zbMATH DE number 912319 (Why is no real title available?) | 1997-06-18 | Paper |
| scientific article; zbMATH DE number 868092 (Why is no real title available?) | 1996-12-05 | Paper |
Taming logic
Journal of Logic, Language and Information | 1996-10-08 | Paper |
| scientific article; zbMATH DE number 868084 (Why is no real title available?) | 1996-08-22 | Paper |
Expressibility of properties of relations
Journal of Symbolic Logic | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 834561 (Why is no real title available?) | 1996-07-01 | Paper |
Decidable and undecidable logics with a binary modality
Journal of Logic, Language and Information | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 868091 (Why is no real title available?) | 1996-06-23 | Paper |
Perfect extensions and derived algebras
Journal of Symbolic Logic | 1996-06-19 | Paper |
Axiomatization of identity-free equations valid in relation algebras
Algebra Universalis | 1996-06-02 | Paper |
| scientific article; zbMATH DE number 859784 (Why is no real title available?) | 1996-05-19 | Paper |
| scientific article; zbMATH DE number 859798 (Why is no real title available?) | 1996-03-26 | Paper |
Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
Logic Journal of the IGPL | 1996-01-30 | Paper |
| scientific article; zbMATH DE number 753782 (Why is no real title available?) | 1995-06-11 | Paper |
Binary Relations and Permutation Groups
Mathematical Logic Quarterly | 1995-06-06 | Paper |
Connections between axioms of set theory and basic theorems of universal algebra
Journal of Symbolic Logic | 1995-03-15 | Paper |
| scientific article; zbMATH DE number 638616 (Why is no real title available?) | 1994-09-13 | Paper |
The lattice of varieties of representable relation algebras
Journal of Symbolic Logic | 1994-08-15 | Paper |
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
Logic Journal of the IGPL | 1994-05-15 | Paper |
| scientific article; zbMATH DE number 475232 (Why is no real title available?) | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 475235 (Why is no real title available?) | 1994-01-13 | Paper |
A nonpermutational integral relation algebra
Michigan Mathematical Journal | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 67038 (Why is no real title available?) | 1992-09-27 | Paper |
Algebraization of quantifier logics, an introductory overview
Studia Logica | 1992-09-27 | Paper |
Free algebras in discriminator varieties
Algebra Universalis | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 17797 (Why is no real title available?) | 1992-06-26 | Paper |
On the strength of temporal proofs
Theoretical Computer Science | 1991-01-01 | Paper |
Splitting in Relation Algebras
Proceedings of the American Mathematical Society | 1991-01-01 | Paper |
On varieties of cylindric algebras with applications to logic
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
Decidability of Relation Algebras with Weakened Associativity
Proceedings of the American Mathematical Society | 1987-01-01 | Paper |
A unifying theorem for algebraic semantics and dynamic logics
Information and Computation | 1987-01-01 | Paper |
A non-representable cylindric algebra with pairing functions
Algebra Universalis | 1986-01-01 | Paper |
Cylindric-relativised set algebras have strong amalgamation
Journal of Symbolic Logic | 1985-01-01 | Paper |
On the number of generators of cylindric algebras
Journal of Symbolic Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3906563 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3949705 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3874591 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3820046 (Why is no real title available?) | 1983-01-01 | Paper |
The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819805 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3823100 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3803706 (Why is no real title available?) | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. II
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3847387 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3776849 (Why is no real title available?) | 1982-01-01 | Paper |
A complete logic for reasoning about programs via nonstandard model theory. I
Theoretical Computer Science | 1982-01-01 | Paper |
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3769603 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779578 (Why is no real title available?) | 1982-01-01 | Paper |
On notions of factorization systems and their applications to cone- injective subcategories
Periodica Mathematica Hungarica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3791621 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3861152 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3769623 (Why is no real title available?) | 1981-01-01 | Paper |
Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
Lecture Notes in Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3755858 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3853166 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3759554 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3806911 (Why is no real title available?) | 1981-01-01 | Paper |
Similarity types, pseudosimple algebras, and congruence representations of chains
Algebra Universalis | 1981-01-01 | Paper |
HSP K is equational class, without the axiom of choice
Algebra Universalis | 1981-01-01 | Paper |
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
Algebra Universalis | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3708408 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3737062 (Why is no real title available?) | 1980-01-01 | Paper |
On systems of varieties definable by schemes of equations
Algebra Universalis | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3771685 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3827868 (Why is no real title available?) | 1980-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
Demonstratio Mathematica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3697114 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3698368 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3636238 (Why is no real title available?) | 1979-01-01 | Paper |
INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
Demonstratio Mathematica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3637823 (Why is no real title available?) | 1979-01-01 | Paper |
Formulas and ultraproducts in categories
Beiträge zur Algebra und Geometrie | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650541 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3688692 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3654115 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3675888 (Why is no real title available?) | 1978-01-01 | Paper |
From hereditary classes to varieties in abstract model theory and partial algebra
Beiträge zur Algebra und Geometrie | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3632451 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3782373 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3790408 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3577259 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3570537 (Why is no real title available?) | 1977-01-01 | Paper |
On universal algebraic constructions of logics
Studia Logica | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3632567 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3529839 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3425674 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3679774 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3523391 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3591787 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3604888 (Why is no real title available?) | 1975-01-01 | Paper |
A simple, purely algebraic proof of the completeness of some first order logics
Algebra Universalis | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3463626 (Why is no real title available?) | 1974-01-01 | Paper |
Sufficient and Necessary Condition for the Completeness of a Calculus
Mathematical Logic Quarterly | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3487017 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3495612 (Why is no real title available?) | 1974-01-01 | Paper |
