1 citations · 2 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…