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.

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007/3-540-45...

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

Archive Staff Only (login required)

Edit/View Item