Chrysafis Hartonas

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 16

Top Topics

Propositional Logic

Top Venues

J. Appl. Non Class. Logics

Logica Universalis

Publications

Chrysafis Hartonas
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator. CoRR (2023)
Chrysafis Hartonas
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras. CoRR (2023)
Chrysafis Hartonas
Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations. CoRR (2021)
Chrysafis Hartonas
Modal translation of substructural logics. J. Appl. Non Class. Logics 30 (1) (2020)
Chrysafis Hartonas
Game-theoretic semantics for non-distributive logics. Log. J. IGPL 27 (5) (2019)
Chrysafis Hartonas, Ewa Orlowska
Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundam. Informaticae 166 (1) (2019)
Chrysafis Hartonas
Duality Results for (Co)Residuated Lattices. Logica Universalis 13 (1) (2019)
Chrysafis Hartonas
Discrete duality for lattices with modal operators. J. Log. Comput. 29 (1) (2019)
Chrysafis Hartonas
Lattice logic as a fragment of (2-sorted) residuated modal logic. J. Appl. Non Class. Logics 29 (2) (2019)
Chrysafis Hartonas
Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics. Logica Universalis 12 (3-4) (2018)
Chrysafis Hartonas
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework. J. Philos. Log. 47 (1) (2018)
Chrysafis Hartonas
Stone duality for lattice expansions. Log. J. IGPL 26 (5) (2018)
Chrysafis Hartonas
Kripke-Galois Frames and their Logics. FLAP 4 (3) (2017)
Chrysafis Hartonas
Order-dual relational semantics for non-distributive propositional logics. Log. J. IGPL 25 (2) (2017)
Chrysafis Hartonas
First-order frames for orthomodular quantum logic. J. Appl. Non Class. Logics 26 (1) (2016)
Chrysafis Hartonas
Modal and temporal extensions of non-distributive propositional logics. Log. J. IGPL 24 (2) (2016)
Maria Tsiakmaki, Chrysafis Hartonas
Implementing the CROP reference architecture: the CROP learning service. Panhellenic Conference on Informatics (2015)
Chrysafis Hartonas
On the Dynamic Logic of Agency and Action. Stud Logica 102 (3) (2014)
Maria Tsiakmaki, Chrysafis Hartonas
Implementing the CROP Reference Architecture: The CROP Learning Object Editor. BCI (Local) (2013)
Chrysafis Hartonas
Reasoning about types of action and agent capabilities. Log. J. IGPL 21 (5) (2013)
Agathoklis Kritsimallis, Chrysafis Hartonas
Tableaux for type PDL. BCI (2013)
Chrysafis Hartonas, Eleni Gana
Learning Objects and Learning Services in the Semantic Web. ICALT (2008)
Chrysafis Hartonas
Duality for Modal mu-Logics. Theor. Comput. Sci. 202 (1-2) (1998)
Chrysafis Hartonas, Matthew Hennessy
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. Inf. Comput. 145 (1) (1998)
Chrysafis Hartonas
A Fixpoint Approach to Finite Delay and Fairness. Theor. Comput. Sci. 198 (1-2) (1998)
Chrysafis Hartonas
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Stud Logica 58 (3) (1997)
Chrysafis Hartonas, Matthew Hennessy
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). CSL (1997)
Chrysafis Hartonas
An Algebraic Theory of Structured Objects. Notre Dame J. Formal Log. 38 (1) (1997)
Chrysafis Hartonas
Semantics of Finite Delay. Theor. Comput. Sci. 176 (1-2) (1997)
Chrysafis Hartonas
Pretopology Semantics for Bimodal Intuitionistic Linear Logic. Log. J. IGPL 5 (1) (1997)
Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
On the Logic of Information Flow. Log. J. IGPL 3 (1) (1995)
Chrysafis Hartonas, Marta Z. Kwiatkowska
Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods (1994)