Chrysafis Hartonas

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