# Logics of Temporal-Epistemic Actions

arXiv: https://arxiv.org/abs/1411.6279 · HTML: https://mlsanity.com/paper/1411.6279/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 23 Nov 2014.

## Built on by (most cited first, 2 of 2)

- [An extension of process calculus for asynchronous communications between agents with epistemic states](https://mlsanity.com/paper/2206.14506/) (2022)
- [A process algebraic framework for multi-agent dynamic epistemic systems](https://mlsanity.com/paper/2407.17537/) (2024)

## Abstract (arXiv)

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. Our "temporal action models" may be used to define a number of informational actions that can modify the "objective" temporal structure of a model along with the agents' basic and higher-order knowledge and beliefs about this structure, including their beliefs about the time. In essence, this approach provides one way to extend the domain of action model-style operations from atemporal Kripke models to temporal Kripke models in a manner that allows actions to control the flow of time. We present a number of examples to illustrate the subtleties involved in interpreting the effects of our extended action models on temporal Kripke models. We also study preservation of important epistemic-temporal properties of temporal Kripke models under temporal action model-induced operations, provide complete axiomatizations for two theories of temporal action models, and connect our approach with previous work on time in Dynamic Epistemic Logic.