Action emulation

Abstract

A key notion of equivalence for modal and epistemic logic is bisimulation. However, to capture the update effects of action models in epistemic update logic, this notion turns out to be too strong. We propose necessary and sufficient conditions for having the same update effect, in the cases of action models with propositional preconditions and action… (More)
DOI: 10.1007/s11229-012-0083-1

Topics

2 Figures and Tables

Cite this paper

@article{Eijck2012ActionE, title={Action emulation}, author={Jan van Eijck and Ji Ruan and Tomasz Sadzik}, journal={Synthese}, year={2012}, volume={185}, pages={131-151} }