×

zbMATH — the first resource for mathematics

Andréka, Hajnal

Compute Distance To:
Author ID: andreka.hajnal Recent zbMATH articles by "Andréka, Hajnal"
Published as: Andréka, Hajnal; Andreka, H.; Andréka, H.; Andreka, Hajnal; Andréka, Hajnalka
Documents Indexed: 133 Publications since 1973, including 6 Books
all top 5

Serials

21 Algebra Universalis
12 The Journal of Symbolic Logic
7 Studia Scientiarum Mathematicarum Hungarica
5 Bulletin of the Section of Logic
4 Theoretical Computer Science
4 Annals of Pure and Applied Logic
3 Kibernetika
3 Transactions of the American Mathematical Society
2 Acta Cybernetica
2 Demonstratio Mathematica
2 Journal of Philosophical Logic
2 Proceedings of the American Mathematical Society
2 Studia Logica
2 Mathematical Logic Quarterly (MLQ)
2 Parallel Processing Letters
1 Classical and Quantum Gravity
1 General Relativity and Gravitation
1 Beiträge zur Algebra und Geometrie
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica
1 Commentationes Mathematicae Universitatis Carolinae
1 Dissertationes Mathematicae
1 Matematikai Lapok
1 Mathematica Slovaca
1 Memoirs of the American Mathematical Society
1 Michigan Mathematical Journal
1 Notre Dame Journal of Formal Logic
1 Synthese
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Bulletin of the Section of Logic
1 Information and Computation
1 Journal of Logic and Computation
1 Journal of Logic, Language and Information
1 The Bulletin of Symbolic Logic
1 Journal of the IGPL
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Natural Computing
1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
1 Bolyai Society Mathematical Studies
1 Lecture Notes in Mathematics
1 The Review of Symbolic Logic
1 Studies in Universal Logic

Publications by Year

Citations contained in zbMATH Open

96 Publications have been cited 682 times in 419 Documents Cited by Year
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
87
1998
Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007
Andréka, H.
24
1991
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
24
2002
The equational theory of union-free algebras of relations. Zbl 0826.03013
Andréka, H.; Bredikhin, D. A.
23
1995
A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053
Andréka, H.; Thompson, R. J.
21
1988
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. Zbl 0497.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
19
1981
Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023
Andréka, Hajnal
17
1997
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
17
2001
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
A logic road from special relativity to general relativity. Zbl 1275.03069
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
15
2012
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
15
1994
On universal algebraic constructions of logics. Zbl 0362.02057
Andreka, H.; Gergely, T.; Nemeti, I.
13
1977
The generalised completeness of Horn predicate-logic as a programming language. Zbl 0496.68021
Andreka, H.; Nemeti, I.
13
1978
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
13
1991
Completeness problems in verification of programs and program schemes. Zbl 0411.03017
Andreka, H.; Nemeti, I.; Sain, I.
12
1979
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
12
2005
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
12
2008
Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007
Andreka, H.; Nemeti, I.
11
1983
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
11
2008
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
10
2006
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
Andréka, Hajnal (ed.); Ferenczi, Miklós (ed.); Németi, István (ed.)
10
2012
Axiomatizability of positive algebras of binary relations. Zbl 1253.03091
Andréka, Hajnal; Mikulás, Szabolcs
10
2011
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
10
1999
A simple, purely algebraic proof of the completeness of some first order logics. Zbl 0306.02059
Andreka, H.; Nemeti, I.
9
1975
Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060
Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T.
9
2009
Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004
Andréka, H.; Burmeister, P.; Németi, I.
9
1981
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
8
1997
Weakly representable but not representable relation algebras. Zbl 0812.03036
Andréka, H.
8
1994
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
8
1995
Completeness of Floyd logic. Zbl 0407.03034
Andreka, Hajnal; Nemeti, Istvan
8
1978
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
8
2004
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
8
1991
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
8
1982
Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029
Andreka, Hajnal; Nemeti, Istvan
8
1979
Formulas and ultraproducts in categories. Zbl 0531.03042
Andréka, Hajnalka; Németi, István
8
1979
Groups and algebras of binary relations. Zbl 1002.03055
Givant, Steven; Andréka, Hajnal
7
2002
Notions of density that imply representability in algebraic logic. Zbl 0930.03100
Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András
7
1998
A characterization of Floyd-provable programs. Zbl 0481.68035
Andreka, H.; Nemeti, I.; Sain, I.
7
1981
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
6
2006
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
Andréka, H. (ed.); Monk, J. Donald (ed.); Németi, I. (ed.)
6
1991
The lattice of varieties of representable relation algebras. Zbl 0815.03039
Andréka, Hajnal; Givant, Steven; Németi, István
6
1994
A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052
Andréka, H.
6
2001
Henkin-type semantics for program-schemes to turn negative results to positive. Zbl 0418.03028
Andreka, H.; Nemeti, I.; Sain, I.
6
1979
On the strength of temporal proofs. Zbl 0732.03020
Andréka, Hajnal; Németi, István; Sain, Ildikó
6
1991
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
5
2009
A representation theorem for measurable relation algebras. Zbl 1453.03071
Givant, Steven; Andréka, Hajnal
5
2018
A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331
Andréka, Hajnal; Németi, István; Wüthrich, Christian
4
2008
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006
Andreka, Hajnal; Nemeti, Istvan
4
1981
Los lemma holds in every category. Zbl 0502.03015
Andreka, Hajnal; Nemeti, Istvan
4
1978
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
3
2014
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
3
2017
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
3
2013
Faster than light motion does not imply time travel. Zbl 1291.83035
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely
3
2014
Injectivity in categories to represent all first order formulas. I. Zbl 0517.03029
Andreka, Hajnal; Nemeti, Istvan
3
1979
General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040
Németi, István; Andréka, Hajnal
3
1994
Representations for small relation algebras. Zbl 0830.03033
Andréka, Hajnal; Maddux, Roger D.
3
1994
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
3
1995
On taking subalgebras of relativized relation algebras. Zbl 0649.03048
Andréka, H.
3
1988
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050
Andreka, H.; Nemeti, I.
3
1981
A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
2
2013
Simple relation algebras. Zbl 1437.03001
Givant, Steven; Andréka, Hajnal
2
2017
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
2
1998
Binary relations and permutation groups. Zbl 0823.03036
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024
Andréka, Hajnal
2
1997
Relatively free relation algebras. Zbl 0783.03035
Andréka, H.; Jónsson, B.; Németi, I.
2
1990
Expressibility of properties of relations. Zbl 0842.03045
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
On the congruence lattice of pseudo-simple algebras. Zbl 0371.08007
Andreka, H.; Nemeti, I.
2
1977
On systems of varieties definable by schemes of equations. Zbl 0387.03025
Andréka, H.; Németi, I.
2
1980
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044
Andreka, H.; Nemeti, I.
2
1981
Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023
Andreka, H.; Sain, I.
2
1981
On the strength of temporal proofs. Zbl 0754.03017
Andréka, Hajnal; Németi, István; Sain, Ildikó
2
1989
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
On Jónsson’s clones of operations on binary relations. Zbl 0756.08002
Németi, István; Andréka, Hajnal
2
1991
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
2
1992
Importance of universal algebra for computer science. Zbl 0548.68022
Andréka, H.; Németi, I.
2
1984
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
1
2006
Ultraproducts of continuous posets. Zbl 1397.06007
Andréka, Hajnal; Gyenis, Zalán; Németi, István
1
2016
Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023
Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
1
1996
Decision problems for equational theories of relation algebras. Zbl 0801.03046
Andréka, Hajnal; Givant, Steven; Németi, István
1
1994
Perfect extensions and derived algebras. Zbl 0839.03053
Andréka, Hajnal; Givant, Steven; Németi, István
1
1995
Functionally dense relation algebras. Zbl 1272.03161
Andréka, Hajnal; Givant, Steven
1
2012
Residuated Kleene algebras. Zbl 1354.03096
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
1
2012
On a proof of Shelah. Zbl 0339.02046
Andreka, H.; Dahn, B.; Nemeti, I.
1
1976
Remarks on free products in regular varieties and sink-complemented subalgebras. Zbl 0366.08001
Andreka, H.; Nemeti, I.
1
1977
Weak cylindric set algebras and weak subdirect indecomposability. Zbl 0714.03053
Andréka, H.; Németi, I.; Thompson, R. J.
1
1990
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
1
2014
A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
1
1988
Neat reducts of varieties. Zbl 0421.03047
Andreka, H.; Nemeti, I.
1
1978
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
HSP K is equational class, without the axiom of choice. Zbl 0492.03011
Andreka, H.; Nemeti, I.
1
1981
Clones of operations on relations. Zbl 0568.08005
Andreka, H.; Comer, S. D.; Nemeti, I.
1
1985
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040
Andreka, H.; Guessarian, I.; Németi, I.
1
1985
One variable is not enough for defining relation algebras, but two are. Zbl 0735.03031
Andréka, H.
1
1991
On the number of generators of cylindric algebras. Zbl 0614.03059
Andréka, H.; Németi, I.
1
1985
A representation theorem for measurable relation algebras. Zbl 1453.03071
Givant, Steven; Andréka, Hajnal
5
2018
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
3
2017
Simple relation algebras. Zbl 1437.03001
Givant, Steven; Andréka, Hajnal
2
2017
Ultraproducts of continuous posets. Zbl 1397.06007
Andréka, Hajnal; Gyenis, Zalán; Németi, István
1
2016
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
3
2014
Faster than light motion does not imply time travel. Zbl 1291.83035
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Stannett, Mike; Székely, Gergely
3
2014
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
1
2014
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Zbl 1299.03071
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
3
2013
A note on ‘Einstein’s special relativity beyond the speed of light by James M. Hill and Barry J. Cox’. Zbl 1352.83003
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
2
2013
A logic road from special relativity to general relativity. Zbl 1275.03069
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
15
2012
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
Andréka, Hajnal; Ferenczi, Miklós; Németi, István
10
2012
Functionally dense relation algebras. Zbl 1272.03161
Andréka, Hajnal; Givant, Steven
1
2012
Residuated Kleene algebras. Zbl 1354.03096
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
1
2012
Axiomatizability of positive algebras of binary relations. Zbl 1253.03091
Andréka, Hajnal; Mikulás, Szabolcs
10
2011
Epimorphisms in cylindric algebras and definability in finite variable logic. Zbl 1184.03060
Andréka, H.; Comer, S. D.; Madarász, J. X.; Németi, I.; Sayed Ahmed, T.
9
2009
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
5
2009
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
12
2008
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
11
2008
A twist in the geometry of rotating black holes: seeking the cause of acausality. Zbl 1152.83331
Andréka, Hajnal; Németi, István; Wüthrich, Christian
4
2008
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
10
2006
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
6
2006
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
1
2006
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
12
2005
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
8
2004
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
24
2002
Groups and algebras of binary relations. Zbl 1002.03055
Givant, Steven; Andréka, Hajnal
7
2002
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
17
2001
A finite axiomatization of locally square cylindric-relativized set algebras. Zbl 0997.03052
Andréka, H.
6
2001
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
10
1999
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
87
1998
Notions of density that imply representability in algebraic logic. Zbl 0930.03100
Andréka, Hajnal; Givant, Steven; Mikulás, Szabolcs; Németi, István; Simon, András
7
1998
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
2
1998
Complexity of equations valid in algebras of relations. I: Strong non-finitizability. Zbl 0898.03023
Andréka, Hajnal
17
1997
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
8
1997
Complexity of equations valid in algebras of relations. II: Finite axiomatizations. Zbl 0898.03024
Andréka, Hajnal
2
1997
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
Causes and remedies for undecidability in arrow logics and in multi-modal logics. Zbl 0874.03023
Andréka, Hajnal; Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
1
1996
The equational theory of union-free algebras of relations. Zbl 0826.03013
Andréka, H.; Bredikhin, D. A.
23
1995
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
8
1995
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
3
1995
Binary relations and permutation groups. Zbl 0823.03036
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Expressibility of properties of relations. Zbl 0842.03045
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Perfect extensions and derived algebras. Zbl 0839.03053
Andréka, Hajnal; Givant, Steven; Németi, István
1
1995
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
15
1994
Weakly representable but not representable relation algebras. Zbl 0812.03036
Andréka, H.
8
1994
The lattice of varieties of representable relation algebras. Zbl 0815.03039
Andréka, Hajnal; Givant, Steven; Németi, István
6
1994
General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040
Németi, István; Andréka, Hajnal
3
1994
Representations for small relation algebras. Zbl 0830.03033
Andréka, Hajnal; Maddux, Roger D.
3
1994
Decision problems for equational theories of relation algebras. Zbl 0801.03046
Andréka, Hajnal; Givant, Steven; Németi, István
1
1994
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
2
1992
Representations of distributive lattice-ordered semigroups with binary relations. Zbl 0725.06007
Andréka, H.
24
1991
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
13
1991
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
8
1991
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
Andréka, H.; Monk, J. Donald; Németi, I.
6
1991
On the strength of temporal proofs. Zbl 0732.03020
Andréka, Hajnal; Németi, István; Sain, Ildikó
6
1991
On Jónsson’s clones of operations on binary relations. Zbl 0756.08002
Németi, István; Andréka, Hajnal
2
1991
One variable is not enough for defining relation algebras, but two are. Zbl 0735.03031
Andréka, H.
1
1991
Relatively free relation algebras. Zbl 0783.03035
Andréka, H.; Jónsson, B.; Németi, I.
2
1990
Weak cylindric set algebras and weak subdirect indecomposability. Zbl 0714.03053
Andréka, H.; Németi, I.; Thompson, R. J.
1
1990
On the strength of temporal proofs. Zbl 0754.03017
Andréka, Hajnal; Németi, István; Sain, Ildikó
2
1989
A Stone type representation theorem for algebras of relations of higher rank. Zbl 0707.03053
Andréka, H.; Thompson, R. J.
21
1988
On taking subalgebras of relativized relation algebras. Zbl 0649.03048
Andréka, H.
3
1988
A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
1
1988
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
Clones of operations on relations. Zbl 0568.08005
Andreka, H.; Comer, S. D.; Nemeti, I.
1
1985
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0591.68040
Andreka, H.; Guessarian, I.; Németi, I.
1
1985
On the number of generators of cylindric algebras. Zbl 0614.03059
Andréka, H.; Németi, I.
1
1985
Importance of universal algebra for computer science. Zbl 0548.68022
Andréka, H.; Németi, I.
2
1984
Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007
Andreka, H.; Nemeti, I.
11
1983
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
8
1982
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. Zbl 0497.03025
Henkin, L.; Monk, J. Donald; Tarski, A.; Andreka, H.; Nemeti, I.
19
1981
Quasivarieties of partial algebras. A unifying approach towards a two- valued model theory for partial algebras. Zbl 0537.08004
Andréka, H.; Burmeister, P.; Németi, I.
9
1981
A characterization of Floyd-provable programs. Zbl 0481.68035
Andreka, H.; Nemeti, I.; Sain, I.
7
1981
Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006
Andreka, Hajnal; Nemeti, Istvan
4
1981
Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050
Andreka, H.; Nemeti, I.
3
1981
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044
Andreka, H.; Nemeti, I.
2
1981
Connections between algebraic logic and initial algebra semantics of CF languages. Zbl 0502.68023
Andreka, H.; Sain, I.
2
1981
HSP K is equational class, without the axiom of choice. Zbl 0492.03011
Andreka, H.; Nemeti, I.
1
1981
On systems of varieties definable by schemes of equations. Zbl 0387.03025
Andréka, H.; Németi, I.
2
1980
Quasi equational logic of partial algebras. Zbl 0491.08008
Andreka, Hajnal; Burmeister, Peter; Nemeti, Istvan
1
1980
Completeness problems in verification of programs and program schemes. Zbl 0411.03017
Andreka, H.; Nemeti, I.; Sain, I.
12
1979
Injectivity in categories to represent all first order formulas. I. Zbl 0497.03029
Andreka, Hajnal; Nemeti, Istvan
8
1979
Formulas and ultraproducts in categories. Zbl 0531.03042
Andréka, Hajnalka; Németi, István
8
1979
Henkin-type semantics for program-schemes to turn negative results to positive. Zbl 0418.03028
Andreka, H.; Nemeti, I.; Sain, I.
6
1979
Injectivity in categories to represent all first order formulas. I. Zbl 0517.03029
Andreka, Hajnal; Nemeti, Istvan
3
1979
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
The generalised completeness of Horn predicate-logic as a programming language. Zbl 0496.68021
Andreka, H.; Nemeti, I.
13
1978
Completeness of Floyd logic. Zbl 0407.03034
Andreka, Hajnal; Nemeti, Istvan
8
1978
Los lemma holds in every category. Zbl 0502.03015
Andreka, Hajnal; Nemeti, Istvan
4
1978
Neat reducts of varieties. Zbl 0421.03047
Andreka, H.; Nemeti, I.
1
1978
On universal algebraic constructions of logics. Zbl 0362.02057
Andreka, H.; Gergely, T.; Nemeti, I.
13
1977
On the congruence lattice of pseudo-simple algebras. Zbl 0371.08007
Andreka, H.; Nemeti, I.
2
1977
Remarks on free products in regular varieties and sink-complemented subalgebras. Zbl 0366.08001
Andreka, H.; Nemeti, I.
1
1977
On a proof of Shelah. Zbl 0339.02046
Andreka, H.; Dahn, B.; Nemeti, I.
1
1976
A simple, purely algebraic proof of the completeness of some first order logics. Zbl 0306.02059
Andreka, H.; Nemeti, I.
9
1975
all top 5

Cited by 361 Authors

35 Andréka, Hajnal
33 Németi, István
20 Sayed Ahmed, Tarek
15 Hirsch, Robin
15 Hodkinson, Ian Martin
14 Mikulás, Szabolcs
13 Bredikhin, Dmitry Aleksandrovich
13 van Benthem, Johan F. A. K.
12 Ferenczi, Miklós
12 Sain, Ildikó
12 Székely, Gergely
10 Givant, Steven R.
10 Maddux, Roger D.
7 Düntsch, Ivo
7 Madarász, Judit X.
6 ten Cate, Balder David
5 Khaled, Mohamed
5 Pasztor, Ana
5 Stannett, Mike
5 Venema, Yde
4 Bárány, Vince
4 Barrett, Thomas William
4 Gottlob, Georg
4 Halvorson, Hans
4 Leinders, Dirk
4 Liu, Fenrong
4 Makowsky, Johann-Andreas
4 Marek, V. Wiktor
4 Motik, Boris
4 Otto, Martin
4 Pieris, Andreas
4 Salibra, Antonino
4 Van den Bussche, Jan
3 Alm, Jeremy F.
3 Benedikt, Michael A.
3 Blair, Howard A.
3 Friend, Michèle
3 Goldblatt, Robert Ian
3 Guitart, René
3 Hustadt, Ullrich
3 Jackson, Marcel G.
3 Jarzembski, Grzegorz
3 Jipsen, Peter
3 Marx, Maarten
3 Monk, James Donald
3 Pacuit, Eric
3 Pinus, Aleksandr Georgievich
3 Remmel, Jeffrey B.
3 Rodríguez-Artalejo, Mario
3 Simon, András
3 Wirsing, Martin
3 Wolter, Frank
3 Zakharyaschev, Michael Viktorovich
2 Alechina, Natasha
2 Antonelli, Gian Aldo
2 Areces, Carlos
2 Benda, Thomas
2 Bojańczyk, Mikołaj
2 Broy, Manfred
2 Burmeister, Peter
2 Cenzer, Douglas
2 Csirmaz, László
2 de Freitas, Renata P.
2 de Nivelle, Hans
2 de Rijke, Maarten
2 Durand-Lose, Jérôme O.
2 Ésik, Zoltán
2 Fernández Duque, David
2 Fontaine, Pascal
2 Girard, Patrick R.
2 Grädel, Erich
2 Guessarian, Irène
2 Guttmann, Walter
2 Heymans, Stijn
2 Horrocks, Ian
2 Hortala-Gonzalez, Maria Teresa
2 Ketland, Jeffrey
2 Kieroński, Emanuel
2 Kramer, Richard L.
2 Kurucz, Agi
2 Kurucz, Ágnes
2 Lefever, Koen
2 Makkai, Michael
2 Manna, Marco
2 Pous, Damien
2 Robles, Gemma
2 Rosický, Jiří
2 Sattler, Ulrike
2 Schlipf, John Stewart
2 Schmidt, Renate A.
2 Segoufin, Luc
2 Seligman, Jeremy M.
2 Shagrir, Oron
2 Shehtman, Valentin B.
2 Sofronie-Stokkermans, Viorica
2 Stokes, Timothy E.
2 Stronkowski, Michał Marek
2 Subrahmanian, V. S.
2 Szałas, Andrzej
2 Tarlecki, Andrzej
...and 261 more Authors
all top 5

Cited in 76 Serials

46 Algebra Universalis
41 Theoretical Computer Science
31 The Journal of Symbolic Logic
23 Annals of Pure and Applied Logic
20 Synthese
19 Studia Logica
13 The Review of Symbolic Logic
12 Journal of Logic, Language and Information
11 Mathematical Logic Quarterly (MLQ)
10 Artificial Intelligence
10 Journal of Philosophical Logic
8 Annals of Mathematics and Artificial Intelligence
7 Information and Computation
6 Information Processing Letters
6 Journal of Applied Non-Classical Logics
6 Natural Computing
6 Journal of Logical and Algebraic Methods in Programming
5 Periodica Mathematica Hungarica
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Journal of Computer and System Sciences
5 Journal of Automated Reasoning
5 Logica Universalis
4 Algebra and Logic
4 Journal of Pure and Applied Algebra
4 Notre Dame Journal of Formal Logic
4 Transactions of the American Mathematical Society
4 Journal of Symbolic Computation
4 The Bulletin of Symbolic Logic
4 Journal of Applied Logic
3 Applied Mathematics and Computation
3 Erkenntnis
2 Acta Informatica
2 Proceedings of the American Mathematical Society
2 Quaestiones Mathematicae
2 Russian Mathematics
2 Theory and Practice of Logic Programming
2 ACM Transactions on Computational Logic
2 Chebyshevskiĭ Sbornik
2 Proceedings of the Steklov Institute of Mathematics
1 Modern Physics Letters A
1 Communications in Algebra
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 General Relativity and Gravitation
1 International Journal of Theoretical Physics
1 Mathematical Notes
1 Reports on Mathematical Physics
1 Advances in Mathematics
1 Journal of Algebra
1 Journal of Soviet Mathematics
1 Semigroup Forum
1 Siberian Mathematical Journal
1 Science of Computer Programming
1 Acta Mathematica Hungarica
1 International Journal of Approximate Reasoning
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 Artificial Intelligence Review
1 Aequationes Mathematicae
1 European Journal of Operational Research
1 Journal of the Egyptian Mathematical Society
1 Journal of the ACM
1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Lobachevskii Journal of Mathematics
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Logic and Logical Philosophy
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 European Journal for Philosophy of Science
1 Frontiers of Computer Science
1 Bollettino dell’Unione Matematica Italiana

Citations by Year