Skip to Main content Skip to Navigation
Conference papers

Characterizing Updates in Dynamic Epistemic Logic

Guillaume Aucher 1
1 ICR - Individual and Collective Reasoning
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00556157
Contributor : Guillaume Aucher <>
Submitted on : Saturday, January 15, 2011 - 4:01:18 PM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM

Identifiers

  • HAL Id : inria-00556157, version 1

Citation

Guillaume Aucher. Characterizing Updates in Dynamic Epistemic Logic. Knowledge representation and reasoning, 2010, Toronto, Canada. ⟨inria-00556157⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

39

 

Contact                    Legal Notice                    Personal Data