Taming the Complexity of Temporal Epistemic Reasoning
by
Clare Dixon
,
Michael Fisher
,
Boris Konev
BibTeX
@MISC{Dixon_tamingthe,
author = {Clare Dixon and Michael Fisher and Boris Konev},
title = {Taming the Complexity of Temporal Epistemic Reasoning},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
