Chrysafis (Takis) Hartonas
Chrysafis (Takis) 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
741997
On the logic of information flow
J Barwise, D Gabbay, C Hartonas
Logic Journal of IGPL 3 (1), 7-49, 1995
651995
Duality for lattice-ordered algebras and for normal algebraizable logics
C Hartonas
Studia Logica 58 (3), 403-450, 1997
581997
Duality theorems for partial orders, semilattices, Galois connections and lattices
C Hartonas, JM Dunn
Preprint IULG-93-26, Indiana University Logic Group, 1993
251993
Duality for bounded lattices
G Allwein, C Hartonas
Indiana University Logic Group Preprint Series, IULG-93-25, 1993
231993
Duality for modal μ-logics
C Hartonas
Theoretical Computer Science 202 (1-2), 193-222, 1998
221998
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
192016
Order-dual relational semantics for non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 25 (2), 145-182, 2017
172017
Modal and temporal extensions of non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 24 (2), 156-185, 2016
162016
Order-Duality, Negation and Lattice Representation
C Hartonas
Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996
16*1996
Full abstractness for a functional/concurrent language with higher-order value-passing
C Hartonas, M Hennessy
Information and Computation 145 (1), 64-106, 1998
151998
Information flow and the Lambek calculus
J Barwise, D Gabbay, C s Hartonas
151994
Stone duality for lattice expansions
C Hartonas
Logic Journal of the IGPL 26 (5), 475-504, 2018
132018
Order-dual relational semantics for non-distributive propositional logics: a general framework
C Hartonas
Journal of Philosophical Logic 47 (1), 67-94, 2018
112018
Learning objects and learning services in the semantic web
C Hartonas, E Gana
2008 Eighth IEEE International Conference on Advanced Learning Technologies …, 2008
92008
Adaptivity for knowledge content in the semantic web
C Hartonas, E Gana
Proceedings of KGCM, 2008
92008
Semantics for finite delay
C Hartonas
Theoretical Computer Science 176 (1-2), 205-234, 1997
91997
Discrete duality for lattices with modal operators
C Hartonas
Journal of Logic and Computation 29 (1), 71-89, 2019
82019
Representations of Lattices with Modal Operators with Two-Sorted Frames
EO C. Hartonas
82018
First-order frames for orthomodular quantum logic
C Hartonas
Journal of Applied Non-Classical Logics 26 (1), 69-80, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20