Characterizing Updates in Dynamic Epistemic Logic

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 : Saturday, January 15, 2011 - 4:01:18 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⟩

Share

Metrics

Record views

36