One hundred prisoners and a lightbulb-logic and computation

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 90-100

  Van Ditmarsch, Hans ^a   Van Eijck, Jan ^b   Wu, William ^c  

^a UNIVERSITY OF SEVILLE   (Spain)

^b UTRECHT UNIVERSITY   (Netherlands)

^c Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; KNOWLEDGE REPRESENTATION; SCHEDULING;

COMPUTATIONAL ASPECTS; COMPUTATIONAL RESULTS; DIFFERENT PROTOCOLS; DYNAMIC EPISTEMIC LOGIC; DYNAMIC OPERATORS; ITERATED FUNCTIONS; RANDOM SCHEDULING; SEVERAL PROTOCOLS;

COMPUTER CIRCUITS;

EID: 84860590652     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Aucher, G., and Herzig, A. 2007. From DEL to EDL : Exploring the power of converse events. In Mellouli, K., ed., ECSQARU, LNCS 4724, 199-209. Springer.
2. Baltag, A. 2002. A logic for suspicious players: Epistemic actions and belief updates in games. Bulletin of Economic Research 54(1):1-45.
3. Dehaye, P.; Ford, D.; and Segerman, H. 2003. One hundred prisoners and a lightbulb. Mathematical Intelligencer 25(4):53-61.
4. Herzig, A., and Lima, T. D. 2006. Epistemic actions and ontic actions: A unified logical framework. In Sichman, J., et al., eds., IBERAMIA-SBIA 2006, LNAI 4140, 409-418. Springer.
5. IBM Research. 2002. Ponder this challenge. http://domino.watson.ibm.com/ Comm/wwwr-ponder.nsf/challenges/July2002.h%tml.
6. Kooi, B. 2007. Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non- Classical Logics 17(2):231-254.
7. Renne, B.; Sack, J.; and Yap, A. 2009. Dynamic epistemic temporal logic. In He, X.; Horty, J.; and Pacuit, E., eds., Logic, Rationality, and Interaction. Proceedings of LORI 2009, 263-277. Springer. LNCS 5834.
8. Sack, Y. 2007. Adding Temporal Logic to Dynamic Epistemic Logic. Ph.D. Dissertation, Indiana University, Bloomington, USA.
9. van Benthem, J.; Gerbrandy, J.; Hoshi, T.; and Pacuit, E. 2009. Merging frameworks for interaction. Journal of Philosophical Logic 38:491-526.
10. van Benthem, J.; van Eijck, J.; and Kooi, B. 2006. Logics of communication and change. Information and Computation 204(11):1620-1662.
11. van Ditmarsch, H., and Kooi, B. 2008. Semantic results for ontic and epistemic change. In Bonanno, G.; van der Hoek, W.; and Wooldridge, M., eds., Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games 3. Amsterdam University Press. 87-117.
12. van Ditmarsch, H.; van der Hoek, W.; and Kooi, B. 2005. Dynamic epistemic logic with assignment. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), 141-148. New York: ACM Inc.
13. van Ditmarsch, H. 2006. The logic of Pit. Knowledge, Rationality & Action (Synthese) 149(2):343-375.
14. van Eijck, J. 2007. DEMO - a demo of epistemic modelling. In van Benthem, J.; Gabbay, D.; and Löwe, B., eds., Interactive Logic - Proceedings of the 7th Augustus de Morgan Workshop. Amsterdam University Press. 305- 363. Texts in Logic and Games 1.
15. Winkler, P. 2004. Mathematical Puzzles: A Connoisseur's Collection. AK Peters.
16. Wu, W. 2002. 100 prisoners and a lightbulb. Manuscript.