Monodic fragments of first-order temporal logics: 2000-2001 A.D.
Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2001) Monodic fragments of first-order temporal logics: 2000-2001 A.D. In: Nieuwenhuis, R. and Voronkov, A. (eds.) LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 2250. Springer, pp. 1-23. ISBN 9783540429579.
Abstract
The aim of this paper is to summarize and analyze some results obtained in 2000–2001 about decidable and undecidable fragments of various first-order temporal logics, give some applications in the field of knowledge representation and reasoning, and attract the attention of the ‘temporal community’ to a number of interesting open problems.
Metadata
Item Type: | Book Section |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Sarah Hall |
Date Deposited: | 08 Nov 2021 15:51 |
Last Modified: | 09 Aug 2023 12:52 |
URI: | https://eprints.bbk.ac.uk/id/eprint/46634 |
Statistics
Additional statistics are available via IRStats2.