Follow
Chrysafis Hartonas
Chrysafis Hartonas
Other namesTakis Hartonas
Department of Digital Systems, University of Thessaly, Greece
Verified email at uth.gr - Homepage
Title
Cited by
Cited by
Year
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
861997
On the logic of information flow
J Barwise, D Gabbay, C Hartonas
Logic Journal of IGPL 3 (1), 7-49, 1995
681995
Duality for lattice-ordered algebras and for normal algebraizable logics
C Hartonas
Studia Logica, 403-450, 1997
621997
Duality theorems for partial orders, semilattices, Galois connections and lattices
C Hartonas, JM Dunn
Preprint IULG-93-26, Indiana University Logic Group, 1993
261993
Duality for modal μ-logics
C Hartonas
Theoretical Computer Science 202 (1-2), 193-222, 1998
251998
Duality for bounded lattices
G Allwein, C Hartonas
Indiana University Logic Group Preprint Series, IULG-93-25, 1993
231993
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
222016
Order-dual relational semantics for non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 25 (2), 145-182, 2017
182017
Order-Duality, Negation and Lattice Representation
C Hartonas
Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996
181996
Modal and temporal extensions of non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 24 (2), 156-185, 2016
162016
Full abstractness for a functional/concurrent language with higher-order value-passing
C Hartonas, M Hennessy
Information and Computation 145 (1), 64-106, 1998
161998
Information flow and the Lambek calculus
J Barwise, D Gabbay, C s Hartonas
161994
Stone duality for lattice expansions
C Hartonas
Logic Journal of the IGPL 26 (5), 475-504, 2018
152018
Discrete duality for lattices with modal operators
C Hartonas
Journal of Logic and Computation 29 (1), 71-89, 2019
142019
Order-dual relational semantics for non-distributive propositional logics: a general framework
C Hartonas
Journal of Philosophical Logic 47 (1), 67-94, 2018
132018
Representations of Lattices with Modal Operators with Two-Sorted Frames
EO C. Hartonas
132018
Duality for bounded lattices. Indiana University Logic Group
G Allwein, C Hartonas
Preprint Series, IULG-93-25, 1993
121993
Lattice logic as a fragment of (2-sorted) residuated modal logic
C Hartonas
Journal of Applied Non-Classical Logics 29 (2), 152-170, 2019
92019
First-order frames for orthomodular quantum logic
C Hartonas
Journal of Applied Non-Classical Logics 26 (1), 69-80, 2016
92016
Semantics for finite delay
C Hartonas
Theoretical Computer Science 176 (1-2), 205-234, 1997
91997
The system can't perform the operation now. Try again later.
Articles 1–20