Learning by Erasing in Dynamic Epistemic Logic
| Authors | |
|---|---|
| Publication date | 2009 |
| Host editors |
|
| Book title | Language and Automata Theory and Applications |
| Book subtitle | third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | Language and Automata Theory and Applications |
| Pages (from-to) | 362-373 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | This work provides a comparison of learning by erasing [1] and iterated epistemic update [2] as analyzed in dynamic epistemic logic (see e.g.[3]). We show that finite identification can be modelled in dynamic epistemic logic and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-00982-2_31
(Final published version)
|
| Permalink to this page | |