Temporalising Logics: Fifteen Years After

Authors:
Michael Zakharyaschev
Affiliations:
School of Computer Science and Information Systems, Birkbeck College, London, UK
Venue:
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Year:
2007

Citing 2
Cited 0

Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Combining spatial and temporal logics: expressiveness vs. complexity

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.01

Visualization

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.