Skip to Main content Skip to Navigation
Conference papers

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Andreas Herzig 1 Frédéric Maris 2 Elise Perrotin 1
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.
Complete list of metadata

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)

Identifiers

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles