Tech Reports

ULCS-08-020

Real-Time and Probabilistic Temporal Logics: An Overview

Savas Konur

Abstract

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.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.