A tableau method for public announcement logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

A tableau method for public announcement logics

Résumé

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose a labelled tableau-calculus for this logic. We also present an extension of the calculus for a logic of arbitrary announcements.

Dates et versions

hal-03516645 , version 1 (07-01-2022)

Identifiants

Citer

Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima. A tableau method for public announcement logics. 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩. ⟨hal-03516645⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More