Tech Reports


Real-Time and Probabilistic Temporal Logics: An Overview

Savas Konur


In this paper we analyse various temporal formalisms, including propositional/first-order linear temporal logics, branching temporal logics, partial-order temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed.

[Full Paper]