3 research outputs found
On Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics ,
, , and , and we study some of their
sub-propositional fragments, namely the classical Horn fragment, the Krom
fragment, the so-called core fragment, defined as the intersection of the Horn
and the Krom fragments, plus their sub-fragments obtained by limiting the use
of boxes and diamonds in clauses. We focus, first, on the relative expressive
power of such languages: we introduce a suitable measure of expressive power,
and we obtain a complex hierarchy that encompasses all fragments of the
considered logics. Then, after observing the low expressive power, in
particular, of the Horn fragments without diamonds, we study the computational
complexity of their satisfiability problem, proving that, in general, it
becomes polynomial
On Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics
K
,
T
,
K4
, and
S4
, and
we study some of their sub-propositional fragments, namely the classical Horn fragment,
the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and
the Krom fragments, plus their sub-fragments obtained by limiting the use of boxes and
diamonds in clauses. We focus, first, on the relative expressive power of such languages: we
introduce a suitable measure of expressive power, and we obtain a complex hierarchy that
encompasses all fragments of the considered logics. Then, after observing the low expressive
power, in particular, of the Horn fragments without diamonds, we study the computational
complexity of their satisfiability problem, proving that, in general, it becomes polynomial
On Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics ,
, , and , and we study some of their
sub-propositional fragments, namely the classical Horn fragment, the Krom
fragment, the so-called core fragment, defined as the intersection of the Horn
and the Krom fragments, plus their sub-fragments obtained by limiting the use
of boxes and diamonds in clauses. We focus, first, on the relative expressive
power of such languages: we introduce a suitable measure of expressive power,
and we obtain a complex hierarchy that encompasses all fragments of the
considered logics. Then, after observing the low expressive power, in
particular, of the Horn fragments without diamonds, we study the computational
complexity of their satisfiability problem, proving that, in general, it
becomes polynomial