Sciweavers

2 search results - page 1 / 1
» What can we achieve by arbitrary announcements?: A dynamic t...
Sort
View
TARK
2007
Springer
14 years 1 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...
JOLLI
2008
145views more  JOLLI 2008»
13 years 7 months ago
Temporal Languages for Epistemic Programs
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 statemen...
Joshua Sack