Learning by Erasing in Dynamic Epistemic Logic

Authors
Publication date 2009
Host editors
  • A.H. Dediu
  • A.M. Ionescu
  • C. Martín-Vide
Book title Language and Automata Theory and Applications
Book subtitle third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings
ISBN
  • 9783642009815
ISBN (electronic)
  • 9783642009822
Series Lecture Notes in Computer Science
Event Language and Automata Theory and Applications
Pages (from-to) 362-373
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Science (FNWI)
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
Permalink to this page
Back