Chrysafis Hartonas

According to our database, Chrysafis Hartonas authored at least 32 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Choice-free Topological Duality for Implicative Lattices and Heyting Algebras.

Chrysafis Hartonas

CoRR, 2023

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator.

Chrysafis Hartonas

CoRR, 2023

2021

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations.

Chrysafis Hartonas

CoRR, 2021

2020

Modal translation of substructural logics.

Chrysafis Hartonas

J. Appl. Non Class. Logics, 2020

2019

Duality Results for (Co)Residuated Lattices.

Chrysafis Hartonas

Logica Universalis, 2019

Discrete duality for lattices with modal operators.

Chrysafis Hartonas

J. Log. Comput., 2019

Lattice logic as a fragment of (2-sorted) residuated modal logic.

Chrysafis Hartonas

J. Appl. Non Class. Logics, 2019

Game-theoretic semantics for non-distributive logics.

Chrysafis Hartonas

Log. J. IGPL, 2019

Representation of Lattices with Modal Operators in Two-Sorted Frames.

Chrysafis Hartonas, Ewa Orlowska

Fundam. Informaticae, 2019

2018

Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics.

Chrysafis Hartonas

Logica Universalis, 2018

Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.

Chrysafis Hartonas

J. Philos. Log., 2018

Stone duality for lattice expansions.

Chrysafis Hartonas

Log. J. IGPL, 2018

2017

Order-dual relational semantics for non-distributive propositional logics.

Chrysafis Hartonas

Log. J. IGPL, 2017

Kripke-Galois Frames and their Logics.

Chrysafis Hartonas

FLAP, 2017

2016

First-order frames for orthomodular quantum logic.

Chrysafis Hartonas

J. Appl. Non Class. Logics, 2016

Modal and temporal extensions of non-distributive propositional logics.

Chrysafis Hartonas

Log. J. IGPL, 2016

2015

Implementing the CROP reference architecture: the CROP learning service.

Maria Tsiakmaki, Chrysafis Hartonas

Proceedings of the 19th Panhellenic Conference on Informatics, 2015

2014

On the Dynamic Logic of Agency and Action.

Chrysafis Hartonas

Stud Logica, 2014

2013

Reasoning about types of action and agent capabilities.

Chrysafis Hartonas

Log. J. IGPL, 2013

Implementing the CROP Reference Architecture: The CROP Learning Object Editor.

Maria Tsiakmaki, Chrysafis Hartonas

Proceedings of the Local Proceedings of the Sixth Balkan Conference in Informatics, 2013

Tableaux for type PDL.

Agathoklis Kritsimallis, Chrysafis Hartonas

Proceedings of the Balkan Conference in Informatics, 2013

2008

Learning Objects and Learning Services in the Semantic Web.

Chrysafis Hartonas, Eleni Gana

Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

1998

Duality for Modal mu-Logics.

Chrysafis Hartonas

Theor. Comput. Sci., 1998

A Fixpoint Approach to Finite Delay and Fairness.

Chrysafis Hartonas

Theor. Comput. Sci., 1998

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing.

Chrysafis Hartonas, Matthew Hennessy

Inf. Comput., 1998

1997

Semantics of Finite Delay.

Chrysafis Hartonas

Theor. Comput. Sci., 1997

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics.

Chrysafis Hartonas

Stud Logica, 1997

An Algebraic Theory of Structured Objects.

Chrysafis Hartonas

Notre Dame J. Formal Log., 1997

Pretopology Semantics for Bimodal Intuitionistic Linear Logic.

Chrysafis Hartonas

Log. J. IGPL, 1997

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract).

Chrysafis Hartonas, Matthew Hennessy

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1995

On the Logic of Information Flow.

Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas

Log. J. IGPL, 1995

1994

Synchronisation Trees and Fairness: A Case Study.

Chrysafis Hartonas, Marta Z. Kwiatkowska

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994