Running summarizing tools on a new article
Check the paper below, then start its synthesis.
An application of monodic first-order temporal logic to reasoning about knowledge
Bernhard Heinemann (FernUniversität in Hagen)
DOI: 10.1109/time.2003.1214875 (Computer Science)
License: not stated (all rights reserved)
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.
Published on 01 Jan. 2003