Taming the Complexity of Temporal Epistemic Reasoning

Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent systems. However, the complexity of the logic can be prohibitive. We here develop a refined version of such a logic and associated tableau procedure with improved complexity but where important classes of specification can still be described. This new logic represents a combination of an “exactly one” temporal logic with an S5 multi-modal logic again restricted to the “exactly one” form.

• Type: Conference
• Year: 2009
• Where: FROCOS
• Authors: Clare Dixon, Michael Fisher, Boris Konev
• Keywords: Control Systems, Epistemic Logic, FROCOS 2009, Logic, Temporal Logic