Extensions of modal logic S5 preserving NP-completeness

Stéphane Demri (1, 2)

1 Leibniz - IMAG - Laboratoire Leibniz
2 CNRS - Centre National de la Recherche Scientifique

We present a family of multi-modal logics having NP-complete satisfiability problems and admitting in the language S5-like modal operators, common knowledge and distributed knowledge operators. Our motivation is to find out interaction conditions between the modal operators that affect the computational complexity of the logics.

Mots clés: multimodal logic; modal logic S5; complexity; frame condition; NP

Domaines: Informatique [cs]; Logique en informatique [cs.LO]

Stéphane Demri. Extensions of modal logic S5 preserving NP-completeness. Bulletin of the Section of Logic of the Polish Academy of Sciences, 1997, 26 (2), pp.73--84. ⟨hal-03193470⟩