# A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Conference papers
Domain :

https://hal-univ-tlse3.archives-ouvertes.fr/hal-03450078
Contributor : Andreas Herzig Connect in order to contact the contributor
Submitted on : Thursday, November 25, 2021 - 6:31:02 PM
Last modification on : Monday, November 29, 2021 - 3:39:01 PM

### File

kr2021-0068-herzig-et-al.pdf
Files produced by the author(s)

### Citation

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⟩

### Metrics

Les métriques sont temporairement indisponibles