Chrysafis Hartonas

Available identifiers

zbMath Open hartonas.chrysafisMaRDI QIDQ456960

List of research outcomes

Publication	Date of Publication	Type
Choice-free topological duality for implicative lattices and Heyting algebras	2024-01-04	Paper
Duality for normal lattice expansions and sorted residuated frames with relations	2023-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q5100002	2022-08-26	Paper
Stone duality for lattice expansions	2022-08-10	Paper
Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations	2021-10-13	Paper
Reconciliation of Approaches to the Semantics of Logics without Distribution	2021-09-23	Paper
Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators	2020-08-07	Paper
Modal translation of substructural logics	2020-02-24	Paper
A Characterization Result for Non-Distributive Logics	2020-01-01	Paper
Game-theoretic semantics for non-distributive logics	2019-11-04	Paper
Representation of Lattices with Modal Operators in Two-Sorted Frames	2019-06-14	Paper
Duality results for (co)residuated lattices	2019-05-31	Paper
Lattice logic as a fragment of (2-sorted) residuated modal logic	2019-05-28	Paper
Discrete duality for lattices with modal operators	2019-03-01	Paper
Order-dual relational semantics for non-distributive propositional logics	2019-01-08	Paper
Modal and temporal extensions of non-distributive propositional logics	2019-01-08	Paper
Canonical extensions and Kripke-Galois semantics for non-distributive logics	2018-12-12	Paper
First-order frames for orthomodular quantum logic	2018-09-12	Paper
Order-dual relational semantics for non-distributive propositional logics: a general framework	2018-03-01	Paper
Reasoning about types of action and agent capabilities	2015-02-27	Paper
On the dynamic logic of agency and action	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4218935	1999-02-14	Paper
Stone duality for lattices	1998-11-23	Paper
Full abstractness for a functional/concurrent language with higher-order value-passing	1998-11-10	Paper
Duality for modal \(\mu\)-logics	1998-08-13	Paper
A fixpoint approach to finite delay and fairness	1998-08-13	Paper
Semantics for finite delay	1998-07-23	Paper
An algebraic theory of structured objects	1998-06-14	Paper
Duality for lattice-ordered algebras and for normal algebraizable logics	1998-05-10	Paper
Pretopology semantics for bimodal intuitionistic linear logic	1998-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5691489	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q4870814	1996-11-17	Paper
On the Logic of Information Flow	1996-02-20	Paper
Order-duality, negation and lattice representation	1996-01-01	Paper
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator	N/A	Paper

Research outcomes over time

This page was built for person: Chrysafis Hartonas