3 papers
cs.LO2025
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…
cs.LO2025
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…
cs.LO2024
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…