Modal languages and bounded fragments of predicate logic H Andréka, I Németi, J Van Benthem Journal of philosophical logic 27, 217-274, 1998 | 807 | 1998 |
Non-Turing computations via Malament–Hogarth space-times G Etesi, I Németi International Journal of Theoretical Physics 41, 341-370, 2002 | 282 | 2002 |
Algebraization of quantifier logics, an introductory overview I Németi Studia logica 50 (3), 485-569, 1991 | 194 | 1991 |
Cylindric set algebras and related structures L Henkin, JD Monk, A Tarski, H Andréka, I Németi, L Henkin, JD Monk, ... Cylindric Set Algebras, 1-129, 1981 | 150 | 1981 |
Algebraic logic H Andréka, I Németi, I Sain Handbook of philosophical logic, 133-247, 2001 | 134 | 2001 |
The generalised completeness of Horn predicate-logic as a programming language H Andréka, I Németi Acta Cybernetica 4 (1), 3-10, 1978 | 117 | 1978 |
Relativistic computers and the Turing barrier I Németi, G Dávid Applied Mathematics and Computation 178 (1), 118-142, 2006 | 103 | 2006 |
Back and forth between modal logic and classical logic H Andréka, J Van Benthem, I Németi | 102 | 1995 |
Cylindric-like algebras and algebraic logic H Andréka, M Ferenczi, I Németi Springer Science & Business Media, 2014 | 94 | 2014 |
Algebraic logic H Andréka, JD Monk, I Németi | 91 | 1991 |
Omitting types for finite variable fragments and complete representations of algebras H Andréka, I Németi, TS Ahmed The Journal of Symbolic Logic 73 (1), 65-89, 2008 | 84 | 2008 |
A complete logic for reasoning about programs via nonstandard model theory I H Andreka, I Németi, I Sain Theoretical Computer Science 17 (2), 193-212, 1982 | 84 | 1982 |
Free algebras and decidability in algebraic logic I Németi Dissertation for D. Sc. with Hung. Academy of Sciences, Budapest 18, 169, 1986 | 82 | 1986 |
On neat reducts of algebras of logic TS Ahmed, I Németi Studia Logica 68, 229-262, 2001 | 77 | 2001 |
Logic of space-time and relativity theory H Andréka, JX Madarász, I Németi Handbook of spatial logics, 607-711, 2007 | 75 | 2007 |
A general axiomatizability theorem formulated in terms of cone-injective subcategories H Andréka, I Németi Universal algebra 29, 13-35, 1981 | 73 | 1981 |
Generalization of the concept of variety and quasivariety to partial algebras through category theory H Andréka, I Németi Instytut Matematyczny Polskiej Akademi Nauk (Warszawa), 1983 | 72 | 1983 |
A logic road from special relativity to general relativity H Andréka, JX Madarász, I Németi, G Székely Synthese 186, 633-649, 2012 | 71 | 2012 |
Decidable versions of first order logic and cylindric-relativized set algebras I Németi Logic colloquium 92, 171-241, 1995 | 69 | 1995 |
On universal algebraic constructions of logics H Andréka, T Gergely, I Németi Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 9-47, 1977 | 69 | 1977 |