Hajnal Andréka

65 papers A* 2B 8C 1Journal 45Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Logic Families.
Stud Logica
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain
2024 J jnl
Testing Definitional Equivalence of Theories via automorphism Groups.
Rev. Symb. Log.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2023 J jnl
No Faster-Than-Light Observers (GenRel).
Arch. Formal Proofs
Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2022 J jnl
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime.
Ann. Pure Appl. Log.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2021 J jnl
Two-variable Logic has Weak, but not Strong, Beth Definability.
J. Symb. Log.
Hajnal Andréka, István Németi
2020 J jnl
Nonrepresentable Relation Algebras from Groups.
Rev. Symb. Log.
Hajnal Andréka, István Németi, Steven Givant
2019 J jnl
Nonrepresentable Relation Algebras from Groups - addendum.
Rev. Symb. Log.
Hajnal Andréka, István Németi, Steven Givant
2018 J jnl
A representation theorem for measurable relation algebras.
Ann. Pure Appl. Log.
Steven Givant, Hajnal Andréka
2018 J jnl
The Variety of coset Relation Algebras.
J. Symb. Log.
Steven Givant, Hajnal Andréka
2017 J jnl
On A New Semantics for First-Order Predicate Logic.
J. Philos. Log.
Hajnal Andréka, Johan van Benthem, István Németi
2017 J jnl
On Tarski's Axiomatic Foundations of the Calculus of Relations.
J. Symb. Log.
Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi
2014 — ch.
Comparing Theories: The Dynamics of Changing Vocabulary.
Johan van Benthem on Logic and Information Dynamics
Hajnal Andréka, István Németi
2012 J jnl
A logic road from special relativity to general relativity.
Synth.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2012 J jnl
Closed timelike Curves in relativistic Computation.
Parallel Process. Lett.
Hajnal Andréka, István Németi, Gergely Székely
2012 J jnl
Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.
Parallel Process. Lett.
Hajnal Andréka, Judit X. Madarász, István Németi
2012 — conf
Residuated Kleene Algebras.
Logic and Program Semantics
Hajnal Andréka, Szabolcs Mikulás, István Németi
2011 J jnl
The equational theory of Kleene lattices.
Theor. Comput. Sci.
Hajnal Andréka, Szabolcs Mikulás, István Németi
2009 J jnl
General relativistic hypercomputing and foundation of mathematics.
Nat. Comput.
Hajnal Andréka, István Németi, Péter Németi
2008 J jnl
Axiomatizing Relativistic Dynamics without Conservation Postulates.
Stud Logica
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2008 J jnl
Omitting types for finite variable fragments and complete representations of algebras.
J. Symb. Log.
Tarek Sayed Ahmed, Hajnal Andréka, István Németi
2007 — ch.
Logic of Space-Time and Relativity Theory.
Handbook of Spatial Logics
Hajnal Andréka, Judit X. Madarász, István Németi
2006 C conf
Can General Relativistic Computers Break the Turing Barrier?.
CiE
István Németi, Hajnal Andréka
2006 B conf
New Physics and Hypercomputation.
SOFSEM
István Németi, Hajnal Andréka
2005 J jnl
Mutual definability does not imply definitional equivalence, a simple example.
Math. Log. Q.
Hajnal Andréka, Judit X. Madarász, István Németi
2002 J jnl
Groups and algebras of nary relations.
Bull. Symb. Log.
Steven Givant, Hajnal Andréka
2002 J jnl
Operators and Laws for Combining Preference Relations.
J. Log. Comput.
Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens
1999 J jnl
Finite Algebras of Relations Are Representable on Finite Sets.
J. Symb. Log.
Hajnal Andréka, Ian M. Hodkinson, István Németi
1998 J jnl
Modal Languages and Bounded Fragments of Predicate Logic.
J. Philos. Log.
Hajnal Andréka, István Németi, Johan van Benthem
1998 J jnl
Notions of Density That Imply Representability in Algebraic Logic.
Ann. Pure Appl. Log.
Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
1998 J jnl
Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.
J. Symb. Log.
Hajnal Andréka, Robert Goldblatt, István Németi
1997 J jnl
Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability.
Ann. Pure Appl. Log.
Hajnal Andréka
1997 J jnl
Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations.
Ann. Pure Appl. Log.
Hajnal Andréka
1997 — book
Decision problems for equational theories of relation algebras.
Hajnal Andréka, Steven Givant, István Németi
1997 — conf
The finite base property for some cylindric-relativized algebras (Abstract).
RelMiCS
Hajnal Andréka, Ian M. Hodkinson, István Németi
1995 J jnl
Back and Forth Between Modal Logic and Classical Logic.
Log. J. IGPL
Hajnal Andréka, Johan van Benthem, István Németi
1995 J jnl
Binary Relations and Permutation Groups.
Math. Log. Q.
Hajnal Andréka, Ivo Düntsch, István Németi
1995 J jnl
Expressibility of Properties of Relations.
J. Symb. Log.
Hajnal Andréka, Ivo Düntsch, István Németi
1995 J jnl
Perfect Extensions and Derived Algebras.
J. Symb. Log.
Hajnal Andréka, Steven Givant, István Németi
1994 J jnl
Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra.
J. Symb. Log.
Hajnal Andréka, Ágnes Kurucz, István Németi
1994 J jnl
Lambek Calculus and its relational semantics: Completeness and incompleteness.
J. Log. Lang. Inf.
Hajnal Andréka, Szabolcs Mikulás
1994 J jnl
Representations for Small Relation Algebras.
Notre Dame J. Formal Log.
Hajnal Andréka, Roger D. Maddux
1994 J jnl
The Lattice of Varieties of Representable Relation Algebras.
J. Symb. Log.
Hajnal Andréka, Steven Givant, István Németi
1993 — conf
Applying Algebraic Logic to Logic.
AMAST
Hajnal Andréka, István Németi, Ildikó Sain
1991 J jnl
On the Strength of Temporal Proofs.
Theor. Comput. Sci.
Hajnal Andréka, István Németi, Ildikó Sain
1990 J jnl
Weak Cylindric Set Algebra and Weak Subdirect Indecomposability.
J. Symb. Log.
Hajnal Andréka, István Németi, R. J. Thompson
1989 J jnl
Algebraic Logic Conference.
J. Symb. Log.
Hajnal Andréka, Miklós Ferenczi, István Németi, György Serény
1989 B conf
On the Strength of Temporal Proofs.
MFCS
Hajnal Andréka, István Németi, Ildikó Sain
1988 J jnl
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.
J. Symb. Log.
Hajnal Andréka, William Craig, István Németi
1988 — conf
On Residuated Approximations.
Categorial Methods in Computer Science
Hajnal Andréka, R. J. Greechie, George E. Strecker
1988 — conf
Relatively free relation algebras.
Algebraic Logic and Universal Algebra in Computer Science
Hajnal Andréka, Bjarni Jónsson, István Németi
1987 J jnl
A Unifying Theorem for Algebraic Semantics and Dynamic Logics
Inf. Comput.
Hajnal Andréka, Irène Guessarian, István Németi
1985 B conf
A unifying theorem for algebraic semantics and dynamic logics.
FCT
Hajnal Andréka, Irène Guessarian, István Németi
1985 J jnl
On the Number of Generators of Cylindric Algebras.
J. Symb. Log.
Hajnal Andréka, István Németi
1982 J jnl
A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I.
Theor. Comput. Sci.
Hajnal Andréka, István Németi, Ildikó Sain
1982 J jnl
A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II.
Theor. Comput. Sci.
Hajnal Andréka, István Németi, Ildikó Sain
1981 B conf
A Characterization of Floyd-Provable Programs.
MFCS
Hajnal Andréka, István Németi, Ildikó Sain
1981 B conf
Some Universal Algebraic and Model Theoretic Results in Computer Science.
FCT
Hajnal Andréka, István Németi
1980 B conf
Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies.
COLING
Hajnal Andréka, Tamás Gergely, István Németi
1980 — conf
Sharpening the characterization of the power of Floyd method.
Logic of Programs
Hajnal Andréka
1979 B conf
Completeness Problems in Verification of Programs and Program Schemes.
MFCS
Hajnal Andréka, István Németi, Ildikó Sain
1979 B conf
Henkin-type semantics for program-schemes to turn negative results to positive.
FCT
Hajnal Andréka, István Németi, Ildikó Sain
1978 J jnl
The generalized completeness of Horn predicate-logic as a programming language.
Acta Cybern.
Hajnal Andréka, István Németi
1975 A* conf
Definition Theory as Basis for a Creative Problem Solver.
IJCAI
T. Gorgely, Hajnal Andréka, István Németi
1975 A* conf
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems.
IJCAI
Hajnal Andréka, Tamás Gergely, István Németi
1973 J jnl
Notes on maximal congruence relations, automata and related topics.
Acta Cybern.
Hajnal Andréka, Sándor Horváth, István Németi