No full text
Contribution to collective works (Parts of books)
Exploring the power of converse events
Aucher, Guillaume; Herzig, Andreas
2009In Dynamic Formal Epistemology
 

Files


Full Text
No document available.

Send to



Details



Abstract :
[en] Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by introducing so-called event 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. In this paper we add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that BMS can be translated into EDL thanks to this use of the converse operator : it enables us to translate the structure of the event model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic event model in the language (as done in BMS).We show that EDL is more expressive and general than BMS and we characterize semantically and syntactically in EDL this embedding of BMS.
Disciplines :
Engineering, computing & technology: Multidisciplinary, general & others
Mathematics
Identifiers :
UNILU:UL-CHAPTER-2010-042
Author, co-author :
Aucher, Guillaume ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Herzig, Andreas
Language :
English
Title :
Exploring the power of converse events
Publication date :
2009
Main work title :
Dynamic Formal Epistemology
Publisher :
Springer, Netherlands
ISBN/EAN :
978-94-007-0073-4
Collection name :
Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 351
Pages :
51-74
Available on ORBilu :
since 18 March 2014

Statistics


Number of views
44 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

OpenCitations
 
5
WoS citations
 
3

Bibliography


Similar publications



Contact ORBilu