Exécution de notre outil de synthèse sur un nouvel article
Vérifiez l’article ci-dessous, puis lancez sa synthèse.
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)
Licence : non indiquée (tous droits réservés)
Résumé : 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.
Publié le 01 Jan. 2003