Muñoz-Velasco, Emlio

On Sub-Propositional Fragments of Modal Logic

2018 · Institutional Research Information System University of Ferrara (University of Ferrara)

In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined …