4 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…
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…