Logics of temporal-epistemic actions

@article{Renne2015LogicsOT,
  title={Logics of temporal-epistemic actions},
  author={Bryan Renne and Joshua Sack and Audrey Yap},
  journal={Synthese},
  year={2015},
  volume={193},
  pages={813-849}
}
We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic (DEL). Our “temporal action models” may be used to define a number of informational actions… CONTINUE READING