On Sub-Propositional Fragments of Modal Logic

    Logical Methods in Computer Science, Volume abs/1611.08800, Issue 2, 2018.

    Cited by: 1|Bibtex|Views0|Links
    EI

    Abstract:

    In this paper, we consider the well-known modal logics $mathbf{K}$,$mathbf{T}$, $mathbf{K4}$, and $mathbf{S4}$, and we study some of theirsub-propositional fragments, namely the classical Horn fragment, the Kromfragment, the so-called core fragment, defined as the intersection of the Hornand the Krom fragments, plus their sub-fragments ob...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments