Tableaux for non-normal public announcement logic
Résumé
This paper presents a tableau calculus for two semantic interpretations of public announcements over monotone neighbourhood models: the intersection and the subset semantics, developed by Ma and Sano. We show that, without employing reduction axioms, both calculi are sound and complete with respect to their corresponding semantic interpretations and, moreover, we establish that the satisfiability problem of this public announcement extensions is NP-complete in both cases. The tableau calculi has been implemented in Lotrecscheme.
Domaines
Intelligence artificielle [cs.AI]
Fichier principal
ICLA2015_tableaux_non_normal_public_announcement_logic.pdf (166.57 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...