| 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 | 2022-11-08 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2022-04-01 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2021-12-30 | Paper |
| TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY | 2021-10-27 | Paper |
| NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS | 2021-05-11 | Paper |
| Two-variable logic has weak, but not strong, Beth definability | 2020-10-02 | Paper |
| Varieties generated by completions | 2019-07-10 | Paper |
| A representation theorem for measurable relation algebras with cyclic groups | 2019-05-06 | Paper |
| THE VARIETY OF COSET RELATION ALGEBRAS | 2019-01-04 | Paper |
| Term algebras of elementarily equivalent atom structures | 2018-10-30 | Paper |
| A representation theorem for measurable relation algebras | 2018-10-04 | Paper |
| Coset relation algebras | 2018-07-16 | Paper |
| Coset relation algebras | 2018-04-01 | Paper |
| How many varieties of cylindric algebras are there | 2017-10-12 | Paper |
| Simple Relation Algebras | 2017-09-28 | Paper |
| ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS | 2017-09-27 | Paper |
| Finite-Variable Logics Do Not Have Weak Beth Definability Property | 2017-08-28 | Paper |
| On a new semantics for first-order predicate 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' | 2016-11-02 | Paper |
| Ultraproducts of continuous posets | 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? | 2015-11-27 | Paper |
| Comparing Theories: The Dynamics of Changing Vocabulary | 2015-05-11 | Paper |
| Faster than light motion does not imply time travel | 2014-06-19 | Paper |
| A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct | 2014-05-05 | Paper |
| A logic road from special relativity to general relativity | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853707 | 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 | 2013-08-16 | Paper |
| Decidability, undecidability, and Gödel's incompleteness in relativity theories | 2013-08-16 | Paper |
| Functionally dense relation algebras | 2012-11-27 | Paper |
| Residuated Kleene Algebras | 2012-07-16 | Paper |
| What are the numbers in which spacetime? | 2012-04-05 | Paper |
| The equational theory of Kleene lattices | 2012-01-04 | Paper |
| Axiomatizability of positive algebras of binary relations | 2011-11-23 | 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 | 2010-01-04 | Paper |
| General relativistic hypercomputing and foundation of mathematics | 2009-10-19 | Paper |
| A twist in the geometry of rotating black holes: seeking the cause of acausality | 2008-12-16 | Paper |
| Axiomatizing relativistic dynamics without conservation postulates | 2008-09-02 | Paper |
| Omitting types for finite variable fragments and complete representations of algebras | 2008-05-08 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
| Logical axiomatizations of space-time. Samples from the literature | 2006-08-15 | Paper |
| Logical analysis of relativity theories | 2006-01-24 | Paper |
| Mutual definability does not imply definitional equivalence, a simple example | 2005-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789455 | 2003-01-29 | Paper |
| A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS | 2002-11-03 | Paper |
| Groups and Algebras of Binary Relations | 2002-07-24 | Paper |
| Operators and Laws for Combining Preference Relations | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4516983 | 2000-11-20 | Paper |
| Notions of density that imply representability in algebraic logic | 2000-02-15 | Paper |
| Finite algebras of relations are representable on finite sets | 1999-11-29 | Paper |
| Persistent properties and an application to algebras of logic | 1998-11-23 | Paper |
| Modal languages and bounded fragments of predicate logic | 1998-11-18 | Paper |
| Complexity of equations valid in algebras of relations. I: Strong non-finitizability | 1998-11-01 | Paper |
| Complexity of equations valid in algebras of relations. II: Finite axiomatizations | 1998-11-01 | Paper |
| Relativised quantification: Some canonical varieties of sequence-set algebras | 1998-06-02 | Paper |
| Decision problems for equational theories of relation algebras | 1997-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349281 | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873967 | 1996-08-22 | Paper |
| Expressibility of properties of relations | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860647 | 1996-07-01 | Paper |
| Perfect extensions and derived algebras | 1996-06-19 | Paper |
| Axiomatization of identity-free equations valid in relation algebras | 1996-06-02 | Paper |
| Representations for small relation algebras | 1995-11-26 | Paper |
| The equational theory of union-free algebras of relations | 1995-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698615 | 1995-06-11 | Paper |
| Binary Relations and Permutation Groups | 1995-06-06 | Paper |
| Weakly representable but not representable relation algebras | 1995-05-16 | Paper |
| Connections between axioms of set theory and basic theorems of universal algebra | 1995-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305489 | 1994-09-13 | Paper |
| The lattice of varieties of representable relation algebras | 1994-08-15 | Paper |
| Lambek calculus and its relational semantics: Completeness and incompleteness | 1994-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273473 | 1994-01-13 | Paper |
| A nonpermutational integral relation algebra | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011726 | 1992-09-27 | Paper |
| Free algebras in discriminator varieties | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975138 | 1992-06-26 | Paper |
| One variable is not enough for defining relation algebras, but two are | 1992-06-25 | Paper |
| On the strength of temporal proofs | 1991-01-01 | Paper |
| Representations of distributive lattice-ordered semigroups with binary relations | 1991-01-01 | Paper |
| Splitting in Relation Algebras | 1991-01-01 | Paper |
| On taking subalgebras of relativized relation algebras | 1988-01-01 | Paper |
| Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem | 1987-01-01 | Paper |
| A unifying theorem for algebraic semantics and dynamic logics | 1987-01-01 | Paper |
| On the number of generators of cylindric algebras | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684178 | 1985-01-01 | Paper |
| Relative epis need not be surjective | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3719823 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340129 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667088 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309036 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666908 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4748322 | 1982-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. II | 1982-01-01 | Paper |
| A complete logic for reasoning about programs via nonstandard model theory. I | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3950541 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329462 | 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 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939224 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322163 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968473 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942401 | 1981-01-01 | Paper |
| Similarity types, pseudosimple algebras, and congruence representations of chains | 1981-01-01 | Paper |
| HSP K is equational class, without the axiom of choice | 1981-01-01 | Paper |
| Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900070 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923627 | 1980-01-01 | Paper |
| On systems of varieties definable by schemes of equations | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3952160 | 1980-01-01 | Paper |
| INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890690 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196574 | 1979-01-01 | Paper |
| INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198727 | 1979-01-01 | Paper |
| Formulas and ultraproducts in categories | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208642 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883472 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853624 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872454 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193440 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960112 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967519 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141882 | 1977-01-01 | Paper |
| On universal algebraic constructions of logics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146772 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106191 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3215278 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875892 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170719 | 1975-01-01 | Paper |
| A simple, purely algebraic proof of the completeness of some first order logics | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049060 | 1974-01-01 | Paper |
| Sufficient and Necessary Condition for the Completeness of a Calculus | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069802 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4077470 | 1974-01-01 | Paper |
