Journal of Logic, Language and Information

, Volume 17, Issue 2, pp 183–216

Temporal Languages for Epistemic Programs

Article

DOI: 10.1007/s10849-007-9054-1

Cite this article as:
Sack, J. J of Log Lang and Inf (2008) 17: 183. doi:10.1007/s10849-007-9054-1

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 logicEpistemic logicGamesModal logicPublic announcement logicTemporal logic

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.Department of Mathematics and StatisticsCalifornia State University Long BeachLong BeachUSA