Edit Profile (opens in new tab) Németi, István Co-Author Distance Author ID: nemeti.istvan Published as: Németi, István; Nemeti, I.; Németi, I.; Nemeti, Istvan; Németi, Istvan more...less Homepage: https://users.renyi.hu/~nemeti/ External Links: MGP · Google Scholar · ResearchGate · dblp Documents Indexed: 168 Publications since 1973, including 3 Books and 10 Additional arXiv Preprints 3 Contributions as Editor Biographic References: 1 Publication Co-Authors: 43 Co-Authors with 150 Joint Publications 693 Co-Co-Authors all top 5 Co-Authors 21 single-authored 119 Andréka, Hajnal 22 Sain, Ildikó 21 Madarász, Judit X. 14 Székely, Gergely 9 Gergely, Tamás 8 Givant, Steven R. 8 Simon, András 6 Kurucz, Ágnes 6 Mikulás, Szabolcs 5 van Benthem, Johan F. A. K. 4 Sayed Ahmed, Tarek 3 Düntsch, Ivo 3 Gyenis, Zalán 3 Sági, Gábor 2 Burmeister, Peter 2 Comer, Stephen Daniel 2 Guessarian, Irène 2 Jónsson, Bjarni 2 Marx, Maarten 2 Monk, James Donald 2 Németi, Péter 2 Stannett, Mike 1 Bezhanishvili, Nick 1 Dahn, Bernd Ingo 1 Dávid, Gyula 1 Etesi, Gábor 1 Ferenczi, Miklós 1 Freese, Ralph S. 1 Goldblatt, Robert Ian 1 Hajnal, András 1 Henkin, Leon Albert 1 Hien Huy Bui 1 Hodkinson, Ian Martin 1 Jipsen, Peter 1 Khaled, Mohamed 1 Lampe, William A. 1 Maddux, Roger D. 1 Makai, Endre jun. 1 Márki, László 1 Šulka, Robert 1 Tarski, Alfred 1 Tőke, Csaba 1 Wüthrich, Christian 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 all top 5 Fields 138 Mathematical logic and foundations (03-XX) 47 General algebraic systems (08-XX) 35 Computer science (68-XX) 21 Order, lattices, ordered algebraic structures (06-XX) 17 Relativity and gravitational theory (83-XX) 14 Category theory; homological algebra (18-XX) 5 Group theory and generalizations (20-XX) 4 General and overarching topics; collections (00-XX) 2 Systems theory; control (93-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 26 Fields 391 Mathematical logic and foundations (03-XX) 206 Computer science (68-XX) 57 General algebraic systems (08-XX) 45 Order, lattices, ordered algebraic structures (06-XX) 38 Relativity and gravitational theory (83-XX) 26 Category theory; homological algebra (18-XX) 15 Quantum theory (81-XX) 14 General and overarching topics; collections (00-XX) 11 Combinatorics (05-XX) 9 History and biography (01-XX) 9 Group theory and generalizations (20-XX) 7 Mechanics of particles and systems (70-XX) 4 Geometry (51-XX) 4 General topology (54-XX) 3 Associative rings and algebras (16-XX) 3 Differential geometry (53-XX) 2 Topological groups, Lie groups (22-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Difference and functional equations (39-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year