Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

From DEL to EDL: Exploring the Power of Converse Events

Guillaume AucherContact Information and Andreas HerzigContact Information

(2)  University of Otago (NZ) - University Paul Sabatier (F) IRIT, Université Paul Sabatier, 31062 Toulouse Cedex (F),  
Abstract
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. We add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that DEL can be translated into EDL thanks to this use of the converse operator: this device enables us to translate the structure of the action (or event) model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic action (event) model in the language (as done in DEL). It follows that EDL is more expressive and general than DEL.
An extended version of this paper with proofs can be found at the following address: ftp://ftp.irit.fr/IRIT/LILAC/ecsqaruEDL.pdf

Contact Information Guillaume Aucher
Email: aucher@irit.fr

Contact Information Andreas Herzig
Email: herzig@irit.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)