Chrysafis (Takis) Hartonas
Chrysafis (Takis) Hartonas
Computer Science & Engineering Dept, 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
691997
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
551997
Duality for bounded lattices
G Allwein, C Hartonas
Indiana University Logic Group Preprint Series, IULG-93-25, 1993
251993
Duality for modal μ-logics
C Hartonas
Theoretical Computer Science 202 (1-2), 193-222, 1998
221998
Duality theorems for partial orders, semilattices, Galois connections and lattices
C Hartonas, JM Dunn
Preprint IULG-93-26, Indiana University Logic Group, 1993
201993
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
182016
Order-dual relational semantics for non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 25 (2), 145-182, 2017
162017
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
Order-Duality, Negation and Lattice Representation
C Hartonas
Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996
161996
Modal and temporal extensions of non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 24 (2), 156-185, 2016
152016
Information flow and the Lambek calculus
J Barwise, D Gabbay, C Hartonas
Logic, Language and Computation, Proc. 98Despite the overwhelming literature …, 1996
151996
Stone duality for lattice expansions
C Hartonas
Logic Journal of the IGPL 26 (5), 475-504, 2018
112018
Order-dual relational semantics for non-distributive propositional logics: a general framework
C Hartonas
Journal of Philosophical Logic 47 (1), 67-94, 2018
112018
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
First-order frames for orthomodular quantum logic
C Hartonas
Journal of Applied Non-Classical Logics 26 (1), 69-80, 2016
82016
On the Dynamic Logic of Agency and Action
C Hartonas
STUDIA LOGICA, 2013
82013
Learning objects and learning services in the semantic web
C Hartonas, E Gana
2008 Eighth IEEE International Conference on Advanced Learning Technologies …, 2008
82008
Pretopology semantics for bimodal intuitionistic linear logic
C Hartonas
Logic Journal of the IGPL 5 (1), 65-78, 1997
81997
The system can't perform the operation now. Try again later.
Articles 1–20