• DocumentCode
    1687240
  • Title

    An application of monodic first-order temporal logic to reasoning about knowledge

  • Author

    Heinemann, B.

  • Author_Institution
    Fachbereich Informatik, FernUniversitat in Hagen, Germany
  • fYear
    2003
  • Firstpage
    10
  • Lastpage
    16
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
  • ISSN
    1530-1311
  • Print_ISBN
    0-7695-1912-1
  • Type

    conf

  • DOI
    10.1109/TIME.2003.1214875
  • Filename
    1214875
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1687240