Verifying Epistemic Protocols under Common Knowledge

J. van Eijck

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledg
Place of Publication	New York, USA
Publisher	Association for Computing Machinery
Pages	257-266
Number of pages	10
Publication status	Published - 2009

Access to Document

http://portal.acm.org/citation.cfm?id=1562814.1562848&coll=ACM&dl=ACM&type=series&idx=SERIES11042&part=series&WantType=Proceedings&title=TARK&CFID=71679854&CFTOKEN=76262664

Cite this

van Eijck, J. (2009). Verifying Epistemic Protocols under Common Knowledge. In TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledg (pp. 257-266). Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1562814.1562848&coll=ACM&dl=ACM&type=series&idx=SERIES11042&part=series&WantType=Proceedings&title=TARK&CFID=71679854&CFTOKEN=76262664

@inproceedings{7a8221b49127426ab247a581bd9e6d51,

title = "Verifying Epistemic Protocols under Common Knowledge",

author = "\{van Eijck\}, J.",

year = "2009",

language = "Undefined/Unknown",

pages = "257--266",

booktitle = "TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledg",

publisher = "Association for Computing Machinery",

}

van Eijck, J 2009, Verifying Epistemic Protocols under Common Knowledge. in TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledg. Association for Computing Machinery, New York, USA, pp. 257-266. <http://portal.acm.org/citation.cfm?id=1562814.1562848&coll=ACM&dl=ACM&type=series&idx=SERIES11042&part=series&WantType=Proceedings&title=TARK&CFID=71679854&CFTOKEN=76262664>