×
Author ID: nemeti.istvan Recent zbMATH articles by "Németi, István"
Published as: Németi, István; Nemeti, I.; Németi, I.; Nemeti, Istvan; Németi, Istvan
Homepage: https://users.renyi.hu/~nemeti/
External Links: MGP · Google Scholar · ResearchGate · dblp
all top 5

Serials

15 Algebra Universalis
14 The Journal of Symbolic Logic
7 Studia Scientiarum Mathematicarum Hungarica
6 Bulletin of the Section of Logic
5 Studia Logica
5 Theoretical Computer Science
5 Bulletin of the Section of Logic
3 Acta Cybernetica
3 Computational Linguistics and Computer Languages
3 Kibernetika
3 Annals of Pure and Applied Logic
3 Logic Journal of the IGPL
2 Beiträge zur Algebra und Geometrie
2 Demonstratio Mathematica
2 Journal of Philosophical Logic
2 Proceedings of the American Mathematical Society
2 Journal of Logic, Language and Information
2 Bulletin of the IGPL
2 Mathematical Logic Quarterly (MLQ)
2 Parallel Processing Letters
1 Classical and Quantum Gravity
1 General Relativity and Gravitation
1 International Journal of Theoretical Physics
1 Periodica Mathematica Hungarica
1 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica
1 Applied Mathematics and Computation
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 Transactions of the American Mathematical Society
1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Information and Computation
1 Journal of Automated Reasoning
1 Journal of the IGPL
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Fundamenta Informaticae
1 Natural Computing
1 Foundations of Physics
1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques
1 Bolyai Society Mathematical Studies
1 Colloquia Mathematica Societatis János Bolyai
1 Lecture Notes in Mathematics
1 The Review of Symbolic Logic
1 Studies in Universal Logic

Publications by Year

Citations contained in zbMATH Open

130 Publications have been cited 989 times in 538 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
126
1998
Non-Turing computations via Malament–Hogarth space-times. Zbl 0991.83030
Etesi, Gábor; Németi, István
53
2002
Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033
Németi, István
41
1991
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
28
2001
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.
24
1981
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
21
2012
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
21
2012
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
20
2008
Relativistic computers and the Turing barrier. Zbl 1104.68048
Németi, István; Dávid, Gyula
19
2006
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
18
2004
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
16
2006
The generalised completeness of Horn predicate-logic as a programming language. Zbl 0496.68021
Andreka, H.; Nemeti, I.
15
1978
On neat reducts of algebras of logic. Zbl 0993.03085
Sayed Ahmed, Tarek; Németi, Istvan
15
2001
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
14
1991
Completeness problems in verification of programs and program schemes. Zbl 0411.03017
Andreka, H.; Nemeti, I.; Sain, I.
14
1979
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
14
2008
On universal algebraic constructions of logics. Zbl 0362.02057
Andreka, H.; Gergely, T.; Nemeti, I.
13
1977
Mutual definability does not imply definitional equivalence, a simple example. Zbl 1079.03020
Andréka, Hajnal; Madarász, Judit X.; Németi, István
13
2005
Decidable and undecidable logics with a binary modality. Zbl 0840.03014
Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
12
1995
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.
12
2009
Nonstandard dynamic logic. Zbl 0493.68032
Nemeti, I.
11
1982
Generalization of the concept of variety and quasivariety to partial algebras through category theory. Zbl 0518.08007
Andreka, H.; Nemeti, I.
11
1983
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
11
1999
Twin paradox and the logical foundation of relativity theory. Zbl 1117.83304
Madarász, Judit X.; Németi, István; Székely, Gergely
11
2006
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
11
1991
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
11
1997
Decidability of relation algebras with weakened associativity. Zbl 0638.03061
Németi, I.
10
1987
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
10
1995
Decidable versions of first order logic and cylindric-relativized set algebras. Zbl 0852.03002
Németi, István
10
1995
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
10
1982
Cylindric-relativised set algebras have strong amalgamation. Zbl 0616.03041
Németi, I.
10
1985
On varieties of cylindric algebras with applications to logic. Zbl 0637.03062
Németi, I.
9
1987
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable. Zbl 0491.08012
Nemeti, Istvan
9
1982
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 simple, purely algebraic proof of the completeness of some first order logics. Zbl 0306.02059
Andreka, H.; Nemeti, I.
9
1975
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
9
1991
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
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
8
2014
On the equational theory of representable polyadic equality algebras. Zbl 0964.03070
Németi, István; Sági, Gábor
8
2000
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
8
1998
Completeness of Floyd logic. Zbl 0407.03034
Andreka, Hajnal; Nemeti, Istvan
8
1978
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
8
2014
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
7
2006
A characterization of Floyd-provable programs. Zbl 0481.68035
Andreka, H.; Nemeti, I.; Sain, I.
7
1981
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
7
2008
Weakly higher order cylindric algebras and finite axiomatization of the representables. Zbl 1173.03049
Németi, I.; Simon, A.
7
2009
The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP. Zbl 0487.03038
Nemeti, Istvan
6
1983
Cone-implicational subcategories and some Birkhoff-type theorems. Zbl 0495.18001
Nemeti, Istvan; Sain, Ildiko
6
1982
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
6
2009
On the strength of temporal proofs. Zbl 0732.03020
Andréka, Hajnal; Németi, István; Sain, Ildikó
6
1991
Relation algebras from cylindric and polyadic algebras. Zbl 0886.03042
Németi, István; Simon, András
6
1997
Henkin-type semantics for program-schemes to turn negative results to positive. Zbl 0418.03028
Andreka, H.; Nemeti, I.; Sain, I.
6
1979
Undecidable varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. Zbl 0798.03009
Kurucz, Á.; Németi, I.; Sain, I.; Simon, A.
6
1993
The lattice of varieties of representable relation algebras. Zbl 0815.03039
Andréka, Hajnal; Givant, Steven; Németi, István
6
1994
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
6
2013
Los lemma holds in every category. Zbl 0502.03015
Andreka, Hajnal; Nemeti, Istvan
5
1978
Representability of pairing relation algebras depends on your ontology. Zbl 0971.03064
Kurucz, Agnes; Németi, István
5
2000
Using Isabelle/HOL to verify first-order relativity theory. Zbl 1314.68287
Stannett, Mike; Németi, István
5
2014
A system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
4
1988
Similarity types, pseudosimple algebras, and congruence representations of chains. Zbl 0478.08006
Andreka, Hajnal; Nemeti, Istvan
4
1981
General algebraic logic: A perspective on “What is logic”. Zbl 0823.03040
Németi, István; Andréka, Hajnal
4
1994
Taming logic. Zbl 0847.03013
Marx, Maarten; Mikulás, Szabolcs; Németi, István
4
1995
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
4
1995
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
4
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
4
2013
First-order logic foundation of relativity theories. Zbl 1117.83360
Madarász, Judit X.; Németi, István; Székely, Gergely
3
2007
Some universal algebraic and model theoretic results in computer science. Zbl 0483.68050
Andreka, H.; Nemeti, I.
3
1981
A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006
Andreka, Hajnal; Nemeti, Istvan
3
1982
Injectivity in categories to represent all first order formulas. I. Zbl 0517.03029
Andreka, Hajnal; Nemeti, Istvan
3
1979
The equational theory of Kleene lattices. Zbl 1234.68273
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
3
2011
Ontology can turn negative results to positive. (An overview of recent results). Zbl 0865.03019
Németi, István
3
1996
On generalizing the logic-approach to space-time towards general relativity: first steps. Zbl 1096.03030
Madarász, Judit X.; Németi, István; Tőke, Csaba
3
2004
On Jónsson’s clones of operations on binary relations. Zbl 0756.08002
Németi, István; Andréka, Hajnal
3
1991
Strong representability of fork algebras, a set theoretic foundation. Zbl 0877.03029
Németi, István
3
1997
A fine-structure analysis of first-order logic. Zbl 0879.03004
Németi, István
3
1996
From hereditary classes to varieties in abstract model theory and partial algebra. Zbl 0415.08002
Nemeti, Istvan
3
1978
Program verification within and without logic. Zbl 0441.68024
Andreka, Hajnal; Nemeti, Istvan; Sain, Ildiko
3
1979
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
3
1992
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
Closed timelike curves in relativistic computation. Zbl 1294.68078
Andréka, Hajnal; Németi, István; Székely, Gergely
3
2012
Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272
Andréka, Hajnal; Németi, István
3
2012
Nonrepresentable relation algebras from groups. Zbl 1477.03262
Andréka, Hajnal; Németi, István; Givant, Steven
3
2020
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent. Zbl 0495.03044
Andreka, H.; Nemeti, I.
2
1981
Connections between cylindric algebras and initial algebra semantics of CF languages. Zbl 0502.68024
Nemeti, I.
2
1981
Dynamic algebras of programs. Zbl 0511.68005
Nemeti, I.
2
1981
On notions of factorization systems and their applications to cone- injective subcategories. Zbl 0516.18001
Nemeti, I.
2
1982
Some constructions of cylindric algebra theory applied to dynamic algebras of programs. Zbl 0523.03054
Nemeti, Istvan
2
1980
Importance of universal algebra for computer science. Zbl 0548.68022
Andréka, H.; Németi, I.
2
1984
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
Expressibility of properties of relations. Zbl 0842.03045
Andréka, Hajnal; Düntsch, Ivo; Németi, István
2
1995
Decidable logics of the dynamic trend, and relativized relation algebras. Zbl 0843.03008
Mikulás, Szabolcs; Németi, István; Sain, Ildikó
2
1995
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
2
2006
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
On the strength of temporal proofs. Zbl 0754.03017
Andréka, Hajnal; Németi, István; Sain, Ildikó
2
1989
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
2
1996
On the congruence lattice of pseudo-simple algebras. Zbl 0371.08007
Andreka, H.; Nemeti, I.
2
1977
Universal algebraic logic. Dedicated to the unity of science. Zbl 07613273
Andréka, Hajnal; Gyenis, Zalán; Németi, István; Sain, Ildikó
1
2022
Nonrepresentable relation algebras from groups. Zbl 1477.03262
Andréka, Hajnal; Németi, István; Givant, Steven
3
2020
Varieties generated by completions. Zbl 1468.03080
Andréka, Hajnal; Németi, István
1
2019
How many varieties of cylindric algebras are there. Zbl 1423.03256
Andréka, H.; Németi, I.
4
2017
On a new semantics for first-order predicate logic. Zbl 1417.03118
Andréka, Hajnal; van Benthem, Johan; Németi, István
2
2017
On Tarski’s axiomatic foundations of the calculus of relations. Zbl 1422.03133
Andréka, Hajnal; Givant, Steven; Jipsen, Peter; Németi, István
1
2017
Ultraproducts of continuous posets. Zbl 1397.06007
Andréka, Hajnal; Gyenis, Zalán; Németi, István
1
2016
Finite-variable logics do not have weak Beth definability property. Zbl 1371.03042
Andréka, Hajnal; Németi, István
1
2015
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
8
2014
Comparing theories: the dynamics of changing vocabulary. Zbl 1344.03009
Andréka, Hajnal; Németi, István
8
2014
Using Isabelle/HOL to verify first-order relativity theory. Zbl 1314.68287
Stannett, Mike; Németi, István
5
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
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
6
2013
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
4
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
21
2012
Cylindric-like algebras and algebraic logic. Zbl 1258.03003
21
2012
Closed timelike curves in relativistic computation. Zbl 1294.68078
Andréka, Hajnal; Németi, István; Székely, Gergely
3
2012
Reducing first-order logic to \(\mathsf{Df}_3\), free algebras. Zbl 1284.03272
Andréka, Hajnal; Németi, István
3
2012
Residuated Kleene algebras. Zbl 1354.03096
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
2
2012
Decidability, undecidability, and Gödel’s incompleteness in relativity theories. Zbl 1288.03032
Andréka, Hajnal; Madarász, Judit; Németi, István
1
2012
The equational theory of Kleene lattices. Zbl 1234.68273
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István
3
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.
12
2009
Weakly higher order cylindric algebras and finite axiomatization of the representables. Zbl 1173.03049
Németi, I.; Simon, A.
7
2009
General relativistic hypercomputing and foundation of mathematics. Zbl 1192.68258
Andréka, Hajnal; Németi, István; Németi, Péter
6
2009
Omitting types for finite variable fragments and complete representations of algebras. Zbl 1143.03035
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek
20
2008
Axiomatizing relativistic dynamics without conservation postulates. Zbl 1148.03028
Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely
14
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
7
2008
First-order logic foundation of relativity theories. Zbl 1117.83360
Madarász, Judit X.; Németi, István; Székely, Gergely
3
2007
Relativistic computers and the Turing barrier. Zbl 1104.68048
Németi, István; Dávid, Gyula
19
2006
Logical axiomatizations of space-time. Samples from the literature. Zbl 1102.03037
Andréka, Hajnal; Madarász, Judit X.; Németi, István
16
2006
Twin paradox and the logical foundation of relativity theory. Zbl 1117.83304
Madarász, Judit X.; Németi, István; Székely, Gergely
11
2006
Can general relativistic computers break the Turing barrier? Zbl 1145.68419
Németi, István; Andréka, Hajnal
7
2006
New physics and hypercomputation. Zbl 1175.68167
Németi, Istvan; Andreka, Hajnal
2
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
13
2005
Logical analysis of relativity theories. Zbl 1096.03029
Andréka, H.; Madarász, J. X.; Németi, I.
18
2004
On generalizing the logic-approach to space-time towards general relativity: first steps. Zbl 1096.03030
Madarász, Judit X.; Németi, István; Tőke, Csaba
3
2004
Non-Turing computations via Malament–Hogarth space-times. Zbl 0991.83030
Etesi, Gábor; Németi, István
53
2002
Algebraic logic. 2nd ed. Zbl 1003.03536
Andréka, H.; Németi, I.; Sain, I.
28
2001
On neat reducts of algebras of logic. Zbl 0993.03085
Sayed Ahmed, Tarek; Németi, Istvan
15
2001
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski. Zbl 1003.03053
Madarász, J. X.; Németi, I.
1
2001
On the equational theory of representable polyadic equality algebras. Zbl 0964.03070
Németi, István; Sági, Gábor
8
2000
Representability of pairing relation algebras depends on your ontology. Zbl 0971.03064
Kurucz, Agnes; Németi, István
5
2000
Finite algebras of relations are representable on finite sets. Zbl 0926.03078
Andréka, H.; Hodkinson, I.; Németi, I.
11
1999
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
126
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
8
1998
Relativised quantification: Some canonical varieties of sequence-set algebras. Zbl 0907.03029
Andréka, Hajnal; Goldblatt, Robert; Németi, István
2
1998
Decision problems for equational theories of relation algebras. Zbl 0877.03030
Andréka, Hajnal; Givant, Steven; Németi, István
11
1997
Relation algebras from cylindric and polyadic algebras. Zbl 0886.03042
Németi, István; Simon, András
6
1997
Strong representability of fork algebras, a set theoretic foundation. Zbl 0877.03029
Németi, István
3
1997
On the finitization problem of relation algebras. (Completeness problem for the finite variable fragments). Zbl 0897.03057
Madarász, J. X.; Németi, I.; Sági, G.
1
1997
Axiomatization of identity-free equations valid in relation algebras. Zbl 0852.03024
Andréka, H.; Németi, I.
4
1996
Ontology can turn negative results to positive. (An overview of recent results). Zbl 0865.03019
Németi, István
3
1996
A fine-structure analysis of first-order logic. Zbl 0879.03004
Németi, István
3
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
2
1996
Decidable and undecidable logics with a binary modality. Zbl 0840.03014
Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
12
1995
Back and forth between modal logic and classical logic. Zbl 0840.03010
Andréka, Hajnal; van Benthem, Johan; Németi, Istvan
10
1995
Decidable versions of first order logic and cylindric-relativized set algebras. Zbl 0852.03002
Németi, István
10
1995
Taming logic. Zbl 0847.03013
Marx, Maarten; Mikulás, Szabolcs; Németi, István
4
1995
General algebraic logic including algebraic model theory: An overview. Zbl 0844.03034
Andréka, Hajnal; Németi, István; Sain, Ildikó; Kurucz, Ágnes
4
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
Decidable logics of the dynamic trend, and relativized relation algebras. Zbl 0843.03008
Mikulás, Szabolcs; Németi, István; Sain, Ildikó
2
1995
Undecidability of the equational theory of some classes of residuated Boolean algebras with operators. Zbl 0830.06007
Németi, I.; Sain, I.; Simon, A.
1
1995
Perfect extensions and derived algebras. Zbl 0839.03053
Andréka, Hajnal; Givant, Steven; Németi, István
1
1995
Fork algebras in usual and in non-well-founded set theories. I. Zbl 0849.03052
Sain, Ildikó; Németi, István
1
1995
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
4
1994
Decision problems for equational theories of relation algebras. Zbl 0801.03046
Andréka, Hajnal; Givant, Steven; Németi, István
2
1994
Undecidable varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. Zbl 0798.03009
Kurucz, Á.; Németi, I.; Sain, I.; Simon, A.
6
1993
A nonpermutational integral relation algebra. Zbl 0782.03030
Andréka, H.; Düntsch, I.; Németi, I.
3
1992
Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033
Németi, István
41
1991
Free algebras in discriminator varieties. Zbl 0745.03050
Andréka, H.; Jónsson, B.; Németi, I.
14
1991
Algebraic logic. Papers of a colloquium, held in Budapest, Hungary, between August 8-14, 1988. Zbl 0741.00041
11
1991
Splitting in relation algebras. Zbl 0721.03046
Andréka, H.; Maddux, R. D.; Németi, I.
9
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
3
1991
Relatively free relation algebras. Zbl 0783.03035
Andréka, H.; Jónsson, B.; Németi, I.
2
1990
On cylindric algebraic model theory. Zbl 0793.03073
Németi, István
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 system of logic for partial functions under existence-dependent Kleene equality. Zbl 0663.08004
Andréka, H.; Craig, W.; Németi, I.
4
1988
Decidability of relation algebras with weakened associativity. Zbl 0638.03061
Németi, I.
10
1987
On varieties of cylindric algebras with applications to logic. Zbl 0637.03062
Németi, I.
9
1987
A unifying theorem for algebraic semantics and dynamic logics. Zbl 0616.03016
Andréka, H.; Guessarian, I.; Németi, I.
2
1987
A non-representable cylindric algebra with pairing functions. Zbl 0621.03041
Németi, I.
1
1986
Cylindric-relativised set algebras have strong amalgamation. Zbl 0616.03041
Németi, I.
10
1985
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
The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP. Zbl 0487.03038
Nemeti, Istvan
6
1983
Nonstandard runs of Floyd-provable programs. Zbl 0519.68014
Nemeti, I.
1
1983
A complete logic for reasoning about programs via nonstandard model theory. II. Zbl 0475.68010
Andreka, H.; Nemeti, I.; Sain, I.
17
1982
Nonstandard dynamic logic. Zbl 0493.68032
Nemeti, I.
11
1982
A complete logic for reasoning about programs via nonstandard model theory. I. Zbl 0475.68009
Andreka, H.; Nemeti, I.; Sain, I.
10
1982
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable. Zbl 0491.08012
Nemeti, Istvan
9
1982
Cone-implicational subcategories and some Birkhoff-type theorems. Zbl 0495.18001
Nemeti, Istvan; Sain, Ildiko
6
1982
A general axiomatizability theorem formulated in terms of coneinjective subcategories. Zbl 0489.03006
Andreka, Hajnal; Nemeti, Istvan
3
1982
On notions of factorization systems and their applications to cone- injective subcategories. Zbl 0516.18001
Nemeti, I.
2
1982
...and 30 more Documents
all top 5

Cited by 478 Authors

43 Németi, István
40 Andréka, Hajnal
28 Sayed Ahmed, Tarek
17 Székely, Gergely
16 van Benthem, Johan F. A. K.
12 Ferenczi, Miklós
12 Madarász, Judit X.
12 Mikulás, Szabolcs
12 Sain, Ildikó
11 Hodkinson, Ian Martin
10 Stannett, Mike
9 Bredikhin, Dmitriĭ Aleksandrovich
9 Hirsch, Robin
8 Düntsch, Ivo
7 Givant, Steven R.
7 Pieris, Andreas
7 ten Cate, Balder David
6 Jipsen, Peter
6 Maddux, Roger D.
6 Pasztor, Ana
6 Tucker, John V.
5 Gottlob, Georg
5 Marx, Maarten
5 Otto, Martin
5 Venema, Yde
5 Wolter, Frank
4 Bárány, Vince
4 Barrett, Thomas William
4 Diaconescu, Răzvan
4 Friend, Michèle
4 Goldblatt, Robert Ian
4 Halvorson, Hans
4 Khaled, Mohamed
4 Kieroński, Emanuel
4 Leinders, Dirk
4 Makowsky, Johann-Andreas
4 Marek, V. Wiktor
4 Monk, James Donald
4 Motik, Boris
4 Reynolds, Mark Alexander
4 Salibra, Antonino
4 Simon, András
4 Van den Bussche, Jan
4 Zakharyaschev, Michael Viktorovich
3 Alm, Jeremy F.
3 Beggs, Edwin J.
3 Benedikt, Michael A.
3 Bergstra, Jan A.
3 Blair, Howard A.
3 Bonacina, Maria Paola
3 Costa, José Félix
3 Crvenković, Siniša
3 Demri, Stéphane P.
3 Durand-Lose, Jérôme Olivier
3 Grädel, Erich
3 Guitart, René
3 Hustadt, Ullrich
3 Jarzembski, Grzegorz
3 Ketland, Jeffrey
3 Litak, Tadeusz
3 Madarász, Rozália Sz.
3 Mycka, Jerzy
3 Padmanabha, Anantha
3 Pinus, Aleksandr Georgievich
3 Pratt-Hartmann, Ian
3 Rachůnek, Jiří
3 Ramanujam, R.
3 Remmel, Jeffrey Brian
3 Rodríguez-Artalejo, Mario
3 Samir, Basim
3 Schmidt, Renate A.
3 Vályi, Sándor
3 Wang, Yanjing
2 Abramsky, Samson
2 Akl, Selim G.
2 Alechina, Natasha
2 Antonelli, Gian Aldo
2 Areces, Carlos
2 Bednarczyk, Bartosz
2 Benda, Thomas
2 Benevides, Mario R. F.
2 Berger, Gerald
2 Bezhanishvili, Nick
2 Biró, Balázs
2 Blumensath, Achim
2 Bojańczyk, Mikołaj
2 Boudou, Joseph
2 Bournez, Olivier
2 Broy, Manfred
2 Burmeister, Peter
2 Buszkowski, Wojciech
2 Cenzer, Douglas
2 Cooper, Stuart Barry
2 Cristiá, Maximiliano
2 Csirmaz, László
2 de Freitas, Renata P.
2 de Nivelle, Hans
2 de Rijke, Maarten
2 Dowek, Gilles
2 Dzik, Wojciech
...and 378 more Authors
all top 5

Cited in 97 Serials

52 Theoretical Computer Science
45 Algebra Universalis
30 The Journal of Symbolic Logic
22 Studia Logica
21 Annals of Pure and Applied Logic
19 Synthese
13 Journal of Logic, Language and Information
12 Mathematical Logic Quarterly (MLQ)
12 The Review of Symbolic Logic
11 Journal of Philosophical Logic
11 Natural Computing
10 Artificial Intelligence
10 Applied Mathematics and Computation
9 Notre Dame Journal of Formal Logic
8 Journal of Automated Reasoning
8 Journal of Applied Non-Classical Logics
8 Annals of Mathematics and Artificial Intelligence
7 Information and Computation
7 Logica Universalis
6 Information Processing Letters
6 Periodica Mathematica Hungarica
6 Journal of Computer and System Sciences
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Transactions of the American Mathematical Society
5 The Bulletin of Symbolic Logic
4 Journal of Pure and Applied Algebra
4 Bulletin of the Section of Logic
4 Journal of Symbolic Computation
4 Erkenntnis
4 ACM Transactions on Computational Logic
3 Acta Informatica
3 Communications in Algebra
3 International Journal of Theoretical Physics
3 Algebra and Logic
3 Journal of Applied Logic
3 Foundations of Physics
2 General Relativity and Gravitation
2 Order
2 MSCS. Mathematical Structures in Computer Science
2 Soft Computing
2 Journal of the ACM
2 Theory and Practice of Logic Programming
2 Parallel Processing Letters
2 Proceedings of the Steklov Institute of Mathematics
2 Journal of Logical and Algebraic Methods in Programming
1 Modern Physics Letters A
1 Classical and Quantum Gravity
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of General Systems
1 Indian Journal of Pure & Applied Mathematics
1 Israel Journal of Mathematics
1 Mathematical Notes
1 Reports on Mathematical Physics
1 The Mathematical Intelligencer
1 Advances in Mathematics
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Soviet Mathematics
1 Quaestiones Mathematicae
1 Rendiconti del Seminario Matematico della Università di Padova
1 Semigroup Forum
1 SIAM Journal on Computing
1 Science of Computer Programming
1 Acta Mathematica Hungarica
1 Journal of Complexity
1 International Journal of Approximate Reasoning
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Artificial Intelligence Review
1 Aequationes Mathematicae
1 Archive for Mathematical Logic
1 Russian Mathematics
1 Journal of the Egyptian Mathematical Society
1 The Journal of Artificial Intelligence Research (JAIR)
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 Journal of Discrete Mathematical Sciences & Cryptography
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Fundamenta Informaticae
1 Journal of High Energy Physics
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Logic and Logical Philosophy
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Quantum Information Processing
1 International Journal of Geometric Methods in Modern Physics
1 International Journal of Parallel, Emergent and Distributed Systems
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Chebyshevskiĭ Sbornik
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 Logicheskie Issledovaniya
1 Bollettino dell’Unione Matematica Italiana

Citations by Year