From situation calculus to dynamic epistemic logic}

Abstract : We start from Reiter?s solution to the frame problem in terms of successor state axioms and Scherl& Levesque's extension to knowledge, as formulated by Lakemeyer&Levesque in their logic ES. While it was believed up to now that quantification over actions is a characteristic feature of Reiter?s solution, we here show that for a reasonably large subset of Reiter?s basic action theories one can do without. We do so by recasting restricted basic action theories in a propositional modal logic, viz. dynamic epistemic logic with public announcements and public assignments.
Document type :
Journal articles
Complete list of metadatas
Contributor : Francois Chevallier <>
Submitted on : Tuesday, October 1, 2013 - 12:04:00 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM


  • HAL Id : hal-00868361, version 1


Hans Van-Ditmarsch, Andreas Hertzig, Tiago de Lima. From situation calculus to dynamic epistemic logic}. Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (2), pp.179-204. ⟨hal-00868361⟩



Record views