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 | 795 | 1998 |

Non-Turing computations via Malament–Hogarth space-times G Etesi, I Németi International Journal of Theoretical Physics 41, 341-370, 2002 | 274 | 2002 |

Algebraization of quantifier logics, an introductory overview I Németi Studia logica 50 (3), 485-569, 1991 | 193 | 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 | 133 | 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 | 100 | 2006 |

Back and forth between modal logic and classical logic H Andréka, J Van Benthem, I Németi | 100 | 1995 |

Algebraic logic H Andréka, JD Monk, I Németi | 95 | 1991 |

Cylindric-like algebras and algebraic logic H Andréka, M Ferenczi, I Németi Springer Science & Business Media, 2014 | 93 | 2014 |

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 | 88 | 1982 |

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 |

Free algebras and decidability in algebraic logic I Németi Dissertation for D. Sc. with Hung. Academy of Sciences, Budapest 18, 169, 1986 | 80 | 1986 |

Logic of space-time and relativity theory H Andréka, JX Madarász, I Németi Handbook of spatial logics, 607-711, 2007 | 78 | 2007 |

On neat reducts of algebras of logic TS Ahmed, I Németi Studia Logica 68, 229-262, 2001 | 77 | 2001 |

Decidable versions of first order logic and cylindric-relativized set algebras I Németi Logic colloquium 92, 171-241, 1995 | 73 | 1995 |

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 | 70 | 2012 |

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 | 68 | 1977 |