Epistemic Modelling and Protocol Dynamics
This dissertation presents a logical investigation of epistemic protocols, focussing on protocol-dynamics, epistemic modelling, and epistemic model checking. In Part I, we introduce logics for specifying epistemic protocols including their goals and their dynamics. Chapter 3 departures from the exis...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00535885 http://tel.archives-ouvertes.fr/docs/00/53/58/85/PDF/DS-2010-06.text.pdf |