1 citations · 2 across the 8 of their papers we have counts for
9 papers
A General (Uniform) Relational Semantics for Sentential Logics
Chrysafis Hartonas
We present a general relational semantics framework which, by varying the axiomatization and components of the relational structures, provides a uniform semantics for sentential lo…
Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
Chrysafis, Hartonas
We present an extension and generalization of Sahlqvist--Van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication conne…
Distribution-Free Normal Modal Logics
Chrysafis Hartonas
This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The articl…
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
Chrysafis Hartonas
We develop a common semantic framework for the interpretation both of , the intuitionistic propositional calculus, and of logics weaker than (substruct…
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
Chrysafis Hartonas
Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choic…
Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
Chrysafis Hartonas
We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over th…
Reconciliation of Approaches to the Semantics of Logics without Distribution
Chrysafis Hartonas
This article contributes in that it clarifies and indeed completes an approach (initiated by Dunn and this author several years ago and again pursued by the present author over the…
A Characterization Result for Non-Distributive Logics
Chrysafis, Hartonas
Recent published work has addressed the Shalqvist correspondence problem for non-distributive logics. The natural question that arises is to identify the fragment of first-order lo…
Modal Translation of Substructural Logics
Takis Hartonas
In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalizing the well-known Gödel-McKinsey-Tarski transl…