Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*

2017 ◽  
Vol 28 (2) ◽  
pp. 451-473
Author(s):  
Yanjun Li
Keyword(s):  
Epistemic Logic ◽  
Dynamic Logic ◽  
Propositional Dynamic Logic

scholarly journals Non-Determinism and the Dynamics of Knowledge

2017 ◽  
Author(s):  
Davide Grossi ◽  
Andreas Herzig ◽  
Wiebe van der Hoek ◽  
Christos Moyzes
Keyword(s):  
Epistemic Logic ◽  
Dynamic Logic ◽  
Dynamic Epistemic Logic ◽  
Propositional Dynamic Logic ◽  
Sequential Composition ◽  
Shed Light

In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent logic of Semi-Public Environments (SPE). These logics represent two different approaches for defining the aforementioned actions, and in order to provide unified frameworks that encompass both, we define the logics DELVO (DEL+Vision+Ontic change) and PDLVE (PDL+Vision+Epistemic operators). DELVO is given a sound and complete axiomatisation.

scholarly journals A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

2021 ◽  
Author(s):  
Andreas Herzig ◽  
Frédéric Maris ◽  
Elise Perrotin
Keyword(s):  
Epistemic Logic ◽  
Dynamic Logic ◽  
Dynamic Epistemic Logic ◽  
Finite Horizon ◽  
Parallel Composition ◽  
Propositional Dynamic Logic ◽  
Restricted Version ◽  
Standard Program

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.

scholarly journals Dynamic Linear Time Temporal Logic

1997 ◽  
Vol 4 (8) ◽  
Author(s):  
Jesper G. Henriksen ◽  
P. S. Thiagarajan
Keyword(s):  
Temporal Logic ◽  
Linear Time ◽  
Dynamic Logic ◽  
Order Theory ◽  
Simple Extension ◽  
Propositional Dynamic Logic ◽  
First Order ◽  
Time Semantics ◽  
Linear Time Temporal Logic ◽  
Obvious Manner

A simple extension of the propositional temporal logic of linear<br />time is proposed. The extension consists of strengthening the until<br />operator by indexing it with the regular programs of propositional<br />dynamic logic (PDL). It is shown that DLTL, the resulting logic, is<br />expressively equivalent to S1S, the monadic second-order theory<br />of omega-sequences. In fact a sublogic of DLTL which corresponds<br />to propositional dynamic logic with a linear time semantics is<br />already as expressive as S1S. We pin down in an obvious manner<br />the sublogic of DLTL which correponds to the first order fragment<br />of S1S. We show that DLTL has an exponential time decision<br />procedure. We also obtain an axiomatization of DLTL. Finally,<br />we point to some natural extensions of the approach presented<br />here for bringing together propositional dynamic and temporal<br />logics in a linear time setting.

Semantics of looping programs in Propositional Dynamic Logic

1981 ◽  
Vol 15 (1) ◽  
pp. 285-294 ◽  
Author(s):  
Francine Berman
Keyword(s):  
Dynamic Logic ◽  
Propositional Dynamic Logic
Sign in / Sign up

Export Citation Format

Share Document