Title :
An application of monodic first-order temporal logic to reasoning about knowledge
Author_Institution :
Fachbereich Informatik, FernUniversitat in Hagen, Germany
Abstract :
Using a result on the decidability of a certain monodic fragment of first-order linear time temporal logic due to Hodkinson, we show that the hybrid subset space logic of knowledge over dense flows of time is decidable, too.
Keywords :
decidability; temporal logic; first-order linear time temporal logic; knowledge reasoning; monodic first-order temporal logic; Logic;
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Print_ISBN :
0-7695-1912-1
DOI :
10.1109/TIME.2003.1214875
