Logics of Temporal-Epistemic Actions

11/23/2014
by   Bryan Renne, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2019

Dynamic Epistemic Logic with Communication Actions

This work proposes a Dynamic Epistemic Logic with Communication Actions ...
research
12/26/2018

Reasoning About Safety-Critical Information Flow Between Pilot and Computer

This paper presents research results that develop a dynamic logic for re...
research
08/23/2021

A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die

The standard semantics of multi-agent epistemic logic S5 is based on Kri...
research
07/18/2021

Reasoning about actions with EL ontologies with temporal answer sets

We propose an approach based on Answer Set Programming for reasoning abo...
research
03/23/2023

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

Attention is the crucial cognitive ability that limits and selects what ...
research
07/27/2017

Rationalizability and Epistemic Priority Orderings

At the beginning of a dynamic game, players may have exogenous theories ...
research
09/21/2021

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

We combine linear temporal logic (with both past and future modalities) ...

Please sign up or login with your details

Forgot password? Click here to reset