Journal of Logic, Language and Information 17 (2):183-216 (2008)
|Abstract||This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statements concerning the muddy children puzzle and sum and product. We also express a true statement that an agent’s beliefs about another agent’s knowledge flipped twice, and use a sound proof system to prove this statement. Adding a next-time operator to PAL, we provide formulas that express that belief revision does not take place in PAL. We also discuss relationships between announcements and the new knowledge agents thus acquire; such relationships are related to learning and to Fitch’s paradox. We also show how inverse programs and hybrid logic each can be used to help determine whether or not an arbitrary structure represents the play of a game. We then add a past-time operator to DEL, and discuss the importance of adding yet another component to the language in order to prove completeness.|
|Keywords||Dynamic epistemic logic Epistemic logic Games Modal logic Public announcement logic Temporal logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Giacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Boudewijn de Bruin (2008). Epistemic Logic and Epistemology. In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave Macmillan.
Cédric Dégremont & Nina Gierasimczuk (2011). Finite Identification From the Viewpoint of Epistemic Update. Information And Computation 209 (3):383-396.
Joshua Sack (2009). Extending Probabilistic Dynamic Epistemic Logic. Synthese 169 (2):241 - 257.
Tomohiro Hoshi & Audrey Yap (2009). Dynamic Epistemic Logic with Branching Temporal Structures. Synthese 169 (2):259 - 281.
Thomas Ågotnes (2006). Action and Knowledge in Alternating-Time Temporal Logic. Synthese 149 (2):375 - 407.
Swarup Mohalik & R. Ramanujam (2010). Automata for Epistemic Temporal Logic with Synchronous Communication. Journal of Logic, Language and Information 19 (4):451-484.
Nicholas Asher & Alex Lascarides (2011). Reasoning Dynamically About What One Says. Synthese 183 (S1):5-31.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
Added to index2009-01-28
Total downloads4 ( #188,906 of 722,874 )
Recent downloads (6 months)1 ( #60,917 of 722,874 )
How can I increase my downloads?