| Stone duality for lattices C Hartonas, JM Dunn Algebra Universalis 37 (3), 391-401, 1997 | 69 | 1997 |
| On the logic of information flow J Barwise, D Gabbay, C Hartonas Logic Journal of IGPL 3 (1), 7-49, 1995 | 65 | 1995 |
| Duality for lattice-ordered algebras and for normal algebraizable logics C Hartonas Studia Logica 58 (3), 403-450, 1997 | 55 | 1997 |
| Duality for bounded lattices G Allwein, C Hartonas Indiana University Logic Group Preprint Series, IULG-93-25, 1993 | 25 | 1993 |
| Duality for modal μ-logics C Hartonas Theoretical Computer Science 202 (1-2), 193-222, 1998 | 22 | 1998 |
| Duality theorems for partial orders, semilattices, Galois connections and lattices C Hartonas, JM Dunn Preprint IULG-93-26, Indiana University Logic Group, 1993 | 20 | 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 | 18 | 2016 |
| Order-dual relational semantics for non-distributive propositional logics C Hartonas Logic Journal of the IGPL 25 (2), 145-182, 2017 | 16 | 2017 |
| 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 |
| Order-Duality, Negation and Lattice Representation C Hartonas Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996 | 16 | 1996 |
| Modal and temporal extensions of non-distributive propositional logics C Hartonas Logic Journal of the IGPL 24 (2), 156-185, 2016 | 15 | 2016 |
| Information flow and the Lambek calculus J Barwise, D Gabbay, C Hartonas Logic, Language and Computation, Proc. 98Despite the overwhelming literature …, 1996 | 15 | 1996 |
| Stone duality for lattice expansions C Hartonas Logic Journal of the IGPL 26 (5), 475-504, 2018 | 11 | 2018 |
| Order-dual relational semantics for non-distributive propositional logics: a general framework C Hartonas Journal of Philosophical Logic 47 (1), 67-94, 2018 | 11 | 2018 |
| Adaptivity for knowledge content in the semantic web C Hartonas, E Gana Proceedings of KGCM, 2008 | 9 | 2008 |
| Semantics for finite delay C Hartonas Theoretical Computer Science 176 (1-2), 205-234, 1997 | 9 | 1997 |
| First-order frames for orthomodular quantum logic C Hartonas Journal of Applied Non-Classical Logics 26 (1), 69-80, 2016 | 8 | 2016 |
| On the Dynamic Logic of Agency and Action C Hartonas STUDIA LOGICA, 2013 | 8 | 2013 |
| Learning objects and learning services in the semantic web C Hartonas, E Gana 2008 Eighth IEEE International Conference on Advanced Learning Technologies …, 2008 | 8 | 2008 |
| Pretopology semantics for bimodal intuitionistic linear logic C Hartonas Logic Journal of the IGPL 5 (1), 65-78, 1997 | 8 | 1997 |
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
