| Stone duality for lattices C Hartonas, JM Dunn Algebra Universalis 37 (3), 391-401, 1997 | 86 | 1997 |
| On the logic of information flow J Barwise, D Gabbay, C Hartonas Logic Journal of IGPL 3 (1), 7-49, 1995 | 68 | 1995 |
| Duality for lattice-ordered algebras and for normal algebraizable logics C Hartonas Studia Logica, 403-450, 1997 | 62 | 1997 |
| Duality theorems for partial orders, semilattices, Galois connections and lattices C Hartonas, JM Dunn Preprint IULG-93-26, Indiana University Logic Group, 1993 | 26 | 1993 |
| Duality for modal μ-logics C Hartonas Theoretical Computer Science 202 (1-2), 193-222, 1998 | 25 | 1998 |
| Duality for bounded lattices G Allwein, C Hartonas Indiana University Logic Group Preprint Series, IULG-93-25, 1993 | 23 | 1993 |
| Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators C Hartonas J. Michael Dunn on information based logics, 279-312, 2016 | 22 | 2016 |
| Order-dual relational semantics for non-distributive propositional logics C Hartonas Logic Journal of the IGPL 25 (2), 145-182, 2017 | 18 | 2017 |
| Order-Duality, Negation and Lattice Representation C Hartonas Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996 | 18 | 1996 |
| Modal and temporal extensions of non-distributive propositional logics C Hartonas Logic Journal of the IGPL 24 (2), 156-185, 2016 | 16 | 2016 |
| Full abstractness for a functional/concurrent language with higher-order value-passing C Hartonas, M Hennessy Information and Computation 145 (1), 64-106, 1998 | 16 | 1998 |
| Information flow and the Lambek calculus J Barwise, D Gabbay, C s Hartonas | 16 | 1994 |
| Stone duality for lattice expansions C Hartonas Logic Journal of the IGPL 26 (5), 475-504, 2018 | 15 | 2018 |
| Discrete duality for lattices with modal operators C Hartonas Journal of Logic and Computation 29 (1), 71-89, 2019 | 14 | 2019 |
| Order-dual relational semantics for non-distributive propositional logics: a general framework C Hartonas Journal of Philosophical Logic 47 (1), 67-94, 2018 | 13 | 2018 |
| Representations of Lattices with Modal Operators with Two-Sorted Frames EO C. Hartonas | 13 | 2018 |
| Duality for bounded lattices. Indiana University Logic Group G Allwein, C Hartonas Preprint Series, IULG-93-25, 1993 | 12 | 1993 |
| Lattice logic as a fragment of (2-sorted) residuated modal logic C Hartonas Journal of Applied Non-Classical Logics 29 (2), 152-170, 2019 | 9 | 2019 |
| First-order frames for orthomodular quantum logic C Hartonas Journal of Applied Non-Classical Logics 26 (1), 69-80, 2016 | 9 | 2016 |
| Semantics for finite delay C Hartonas Theoretical Computer Science 176 (1-2), 205-234, 1997 | 9 | 1997 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
