Synchronisation Trees and Fairness: A Case Study. - Chrysafis Hartonas; Marta Z. Kwiatkowska (Theory and Formal Methods, 1994)

On the Logic of Information Flow. - Jon Barwise; Dov M. Gabbay; Chrysafis Hartonas (Log. J. IGPL, 1995)

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). - Chrysafis Hartonas; Matthew Hennessy (CSL, 1997)

Pretopology Semantics for Bimodal Intuitionistic Linear Logic. - Chrysafis Hartonas (Log. J. IGPL, 1997)

An Algebraic Theory of Structured Objects. - Chrysafis Hartonas (Notre Dame J. Formal Log., 1997)

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. - Chrysafis Hartonas (Stud Logica, 1997)

Semantics of Finite Delay. - Chrysafis Hartonas (Theor. Comput. Sci., 1997)

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. - Chrysafis Hartonas; Matthew Hennessy (Inf. Comput., 1998)

A Fixpoint Approach to Finite Delay and Fairness. - Chrysafis Hartonas (Theor. Comput. Sci., 1998)

Duality for Modal mu-Logics. - Chrysafis Hartonas (Theor. Comput. Sci., 1998)

Learning Objects and Learning Services in the Semantic Web. - Chrysafis Hartonas; Eleni Gana (ICALT, 2008)

Tableaux for type PDL. - Agathoklis Kritsimallis; Chrysafis Hartonas (BCI, 2013)

Implementing the CROP Reference Architecture: The CROP Learning Object Editor. - Maria Tsiakmaki; Chrysafis Hartonas (BCI (Local), 2013)

Reasoning about types of action and agent capabilities. - Chrysafis Hartonas (Log. J. IGPL, 2013)

On the Dynamic Logic of Agency and Action. - Chrysafis Hartonas (Stud Logica, 2014)

Implementing the CROP reference architecture: the CROP learning service. - Maria Tsiakmaki; Chrysafis Hartonas (Panhellenic Conference on Informatics, 2015)

Modal and temporal extensions of non-distributive propositional logics. - Chrysafis Hartonas (Log. J. IGPL, 2016)

First-order frames for orthomodular quantum logic. - Chrysafis Hartonas (J. Appl. Non Class. Logics, 2016)

Kripke-Galois Frames and their Logics. - Chrysafis Hartonas (FLAP, 2017)

Order-dual relational semantics for non-distributive propositional logics. - Chrysafis Hartonas (Log. J. IGPL, 2017)

Stone duality for lattice expansions. - Chrysafis Hartonas (Log. J. IGPL, 2018)

Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework. - Chrysafis Hartonas (J. Philos. Log., 2018)

Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics. - Chrysafis Hartonas (Logica Universalis, 2018)

Representation of Lattices with Modal Operators in Two-Sorted Frames. - Chrysafis Hartonas; Ewa Orlowska (Fundam. Informaticae, 2019)

Game-theoretic semantics for non-distributive logics. - Chrysafis Hartonas (Log. J. IGPL, 2019)

Lattice logic as a fragment of (2-sorted) residuated modal logic. - Chrysafis Hartonas (J. Appl. Non Class. Logics, 2019)

Discrete duality for lattices with modal operators. - Chrysafis Hartonas (J. Log. Comput., 2019)

Duality Results for (Co)Residuated Lattices. - Chrysafis Hartonas (Logica Universalis, 2019)

Modal translation of substructural logics. - Chrysafis Hartonas (J. Appl. Non Class. Logics, 2020)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations. - Chrysafis Hartonas (CoRR, 2021)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator. - Chrysafis Hartonas (CoRR, 2023)

Choice-free Topological Duality for Implicative Lattices and Heyting Algebras. - Chrysafis Hartonas (CoRR, 2023)

Distribution-Free Normal Modal Logics. - Chrysafis Hartonas (CoRR, 2024)

Distribution-Free Modal Logics: Sahlqvist - Van Benthem Correspondence. - Chrysafis Hartonas (CoRR, 2025)