Skip to Main content Skip to Navigation
Conference papers

Message Passing in a Dynamic Epistemic Logic Setting

Jan van Eijck 1 Floor Sietsma 1 
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Document type :
Conference papers
Complete list of metadata
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Sunday, November 27, 2011 - 8:30:31 PM
Last modification on : Thursday, January 20, 2022 - 4:12:27 PM


  • HAL Id : hal-00645304, version 1



Jan van Eijck, Floor Sietsma. Message Passing in a Dynamic Epistemic Logic Setting. TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, Jul 2011, New York, United States. pp.212--220. ⟨hal-00645304⟩



Record views