Sciweavers

JOLLI   2008
Wall of Fame | Most Viewed JOLLI-2008 Paper
JOLLI
2008
145views more  JOLLI 2008»
13 years 6 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
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source145
2Download preprint from source122
3Download preprint from source108
4Download preprint from source103
5Download preprint from source98
6Download preprint from source95
7Download preprint from source84
8Download preprint from source83
9Download preprint from source69
10Download preprint from source67
11Download preprint from source52
12Download preprint from source51