A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition - Université Toulouse III - Paul Sabatier - Toulouse INP
Communication Dans Un Congrès Année : 2020

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Résumé

Existing dynamic epistemic logics combine standard epistemic logic with a restricted version of dynamic logic. Instead, we here combine a restricted epistemic logic with a rich version of dynamic logic. The epistemic logic is based on `knowing-whether' operators and basically disallows disjunctions and conjunctions in their scope; it moreover captures `knowing-what'. The dynamic logic has not only all the standard program operators of Propositional Dynamic Logic, but also parallel composition as well as an operator of inclusive nondeterministic composition; its atomic programs are assignments of propositional variables. We show that the resulting dynamic epistemic logic is powerful enough to capture several kinds of sequential and parallel planning, and so both in the unbounded and in the finite horizon version.
Fichier principal
Vignette du fichier
kr2021-0068-herzig-et-al.pdf (110.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03450078 , version 1 (25-11-2021)

Identifiants

Citer

Andreas Herzig, Frédéric Maris, Elise Perrotin. A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩. ⟨hal-03450078⟩
51 Consultations
36 Téléchargements

Altmetric

Partager

More