Article Dans Une Revue Bulletin of the Section of Logic of the Polish Academy of Sciences Année : 1997

Extensions of modal logic S5 preserving NP-completeness

Résumé

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.

Fichier principal
Vignette du fichier
demri-bsl97.pdf (323.81 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-03193470 , version 1 (21-04-2021)

Licence

Identifiants

  • HAL Id : hal-03193470 , version 1

Citer

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⟩

Collections

150 Consultations
354 Téléchargements

Partager

  • More