| Abstract |
|
Using a result on the decidability of a certain monodic fragment of rst order linear time temporal logic due to Hodkinson we show that the hybrid subset space logic of knowledge over dense ows of time is decidable too
|
 Additional Information
|
Citation:
Bernhard Heinemann,
"An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge,"
time-ictl,
p. 10,
10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic,
2003
|
