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

https://hal.archives-ouvertes.fr/hal-00868361
Contributor : Francois Chevallier <>
Submitted on : Tuesday, October 1, 2013 - 12:04:00 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM

Identifiers

  • HAL Id : hal-00868361, version 1

Citation

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⟩

Share

Metrics

Record views

278