Temporalising logics: fifteen years after

Zakharyaschev, Michael (2007) Temporalising logics: fifteen years after. In: Konev, B. and Wolter, F. (eds.) FroCoS 2007: Frontiers of Combining Systems, 6th International Symposium. Lecture Notes in Computer Science 4720. Springer, p. 72. ISBN 9783540746201.

Full text not available from this repository.

Official URL: https://doi.org/10.1007/978-3-540-74621-8_4

Abstract

A straightforward way of adding a temporal dimension to a logical system is to combine it with a suitable temporal logic. Typical examples are first-order temporal logic [3], temporal description logics [1] or spatio-temporal logics [4]. In 1992, Finger and Gabbay [2] started an investigation of possible ways of temporalising abstract logical systems.

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:	25 Oct 2021 16:39
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46477

Statistics

Archive Staff Only (login required)

Edit/View Item