A tableau method for public announcement logics

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.

Mots clés

public announcement logic tableaux

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Documentation IRIT : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03516645

Soumis le : vendredi 7 janvier 2022-12:09:45

Dernière modification le : jeudi 12 septembre 2024-10:37:10

Dates et versions

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

Identifiants

HAL Id : hal-03516645 , version 1
DOI : 10.1007/978-3-540-73099-6_6

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

37 Consultations

0 Téléchargements