Notions of density that imply representability in algebraic logic H Andréka, S Givant, S Mikulás, I Németi, A Simon Annals of Pure and Applied logic 91 (2-3), 93-190, 1998 | 52 | 1998 |
Decidable and undecidable logics with a binary modality Á Kurucz, I Németi, I Sain, A Simon Journal of Logic, Language and Information 4 (3), 191-206, 1995 | 40 | 1995 |
Non-representable algebras of relations A Simon PhD Diss., Budapest, 1997 | 33 | 1997 |
What the finitization problem is not A Simon Banach Center Publications 28 (1), 95-116, 1993 | 32 | 1993 |
Complexity of equational theory of relational algebras with standard projection elements S Mikulás, I Sain, A Simon Synthese 192 (7), 2159-2182, 2015 | 28 | 2015 |
Complexity of equational theory of relational algebras with standard projection elements S Mikulás, I Sain, A Simon Synthese 192 (7), 2159-2182, 2015 | 28 | 2015 |
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus Á Kurucz, I Németi, I Sain, A Simon Logic Journal of the IGPL 1 (1), 91-98, 1993 | 25 | 1993 |
Relation algebras from cylindric and polyadic algebras I Nemeti, A Simon Logic Journal of the IGPL 5 (4), 575-588, 1997 | 24 | 1997 |
Connections between quasi-projective relation algebras and cylindric algebras A Simon Algebra universalis 56 (3), 263-301, 2007 | 20 | 2007 |
Finite schema completeness for typeless logic and representable cylindric algebras A Simon Algebraic logic, 665-670, 1991 | 14 | 1991 |
Causes and remedies for undecidability in arrow logics and in multi-modal logics H Andréka, A Kurucz, I Németi, I Sain, A Simon Arrow logic and multi-modal logic, 63-99, 1997 | 12 | 1997 |
The k-variable property is stronger than H-dimension k I Hodkinson, A Simon Journal of Philosophical Logic, 81-101, 1997 | 12 | 1997 |
Exactly which logics touched by the dynamic trend are decidable H Andréka, Á Kurucz, I Németi, I Sain, A Simon this volume, 1994 | 11 | 1994 |
The complexity of equational theory of relation algebras with projection elements I Sain, A Simon Preprint, Mathematical Institute of the Hungarian Academy of Sciences, Budapest, 1993 | 11 | 1993 |
Weakly higher order cylindric algebras and finite axiomatization of the representables I Németi, A Simon Studia Logica 91 (1), 53-62, 2009 | 9 | 2009 |
Arrow logic does not have deduction theorem A Simon Proceedings of Logic at Work Conference, Amsterdam, 1992 | 6 | 1992 |
Undecidability of the equational theory of some classes of residuated Boolean algebras with operators I Németi, I Sain, A Simon Logic Journal of the IGPL 3 (1), 93-105, 1995 | 5 | 1995 |
Persistent properties and an application to algebras of logic H Andréka, S Givant, I Németi, A Simon algebra universalis 38, 141-149, 1997 | 1 | 1997 |
Representing all Cylindric Algebras by Twisting on a Problem of Henkin A Simon Cylindric-like Algebras and Algebraic Logic, 163-182, 2013 | | 2013 |