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

Decidable and undecidable logics with a binary modality I Németi, I Sain, A Simon Journal of Logic, Language and Information 4 (3), 191-206, 1995 | 35 | 1995 |

Complexity of equational theory of relational algebras with standard projection elements S Mikulás, I Sain, A Simon Synthese 192 (7), 2159-2182, 2015 | 30 | 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 | 30 | 2015 |

Non-representable algebras of relations A Simon PhD Diss., Budapest, 1997 | 29 | 1997 |

What the finitization problem is not A Simon Algebraic Methods in Logic and in Computer Science 28, 95, 1993 | 29 | 1993 |

Relation algebras from cylindric and polyadic algebras I Nemeti, A Simon Logic Journal of the IGPL 5 (4), 575-588, 1997 | 21 | 1997 |

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 | 20 | 1993 |

Connections between quasi-projective relation algebras and cylindric algebras A Simon Algebra universalis 56 (3), 263-301, 2007 | 18 | 2007 |

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 | 14 | 1997 |

The complexity of equational theory of relation algebras with projection elements I Sain, A Simon Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1993 | 13 | 1993 |

The k-variable property is stronger than H-dimension k I Hodkinson, A Simon Journal of Philosophical Logic, 81-101, 1997 | 11 | 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 |

Finite schema completeness for typeless logic and representable cylindric algebras A Simon Algebraic logic, 665-670, 1991 | 11 | 1991 |

Weakly higher order cylindric algebras and finite axiomatization of the representables I Németi, A Simon Studia Logica 91 (1), 53-62, 2009 | 8 | 2009 |

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 |

Arrow logic does not have deduction theorem A Simon Proceedings of Logic at Work Conference, Amsterdam, 1992 | 5 | 1992 |

Persistent properties and an application to algebras of logic H Andréka, S Givant, I Németi, A Simon algebra universalis 38 (2), 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 |

Undecidable Varieties of Semilattice? ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus I N METI, I SAIN, A SIMON Logic Journal of IGPL 1 (1), 91-98, 1993 | | 1993 |