Temporal logics and their applications / by Galton, Anthony

Temporal logic and state systems / by Kroger, Fred, 1945-, Merz, Stephan

Minimal Systems of Temporal Logic by Dariusz Surowik

Subjects: “…temporal logic…”
Get full text

On the decidability of Metric Temporal Logic by Ouaknine, J, Worrell, J, Soc, I

“…Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. …”

Temporal Logic for Programmable Logic Controllers by Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch

Get full text

The intuitionistic temporal logic of dynamical systems by David Fernández-Duque

“…Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a natural intuitionistic temporal logic. …”
Get full text

Abu Ghraib and the Temporal Logic of Interruption by Laura Sparks

“…I propose that the Abu Ghraib scandal illustrates a key temporal logic structuring the contemporary relationship between rhetoric and torture: the rhetorical interruption. …”
Get full text

On the Expressiveness and Monitoring of Metric Temporal Logic by Hsi-Ming Ho, Joël Ouaknine, James Worrell

“…It is known that Metric Temporal Logic (MTL) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (FO[<, +1]) when interpreted over timed words; this remains true even when the time domain is bounded a priori. …”
Get full text

Online Monitoring of Metric Temporal Logic by Ho, H, Ouaknine, J, Worrell, J

A temporal logic for Timed CSP by Jackson, D, Davies, J, Reed, G, Schneider, S

First-Order and Temporal Logics for Nested Words by Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin

“…Finally, we prove that first-order logic over nested words has the three-variable property, and we present a temporal logic for nested words which is complete for the two-variable fragment of first-order.…”
Get full text

Linear Temporal Logic for Regular Cost Functions by Denis Kuperberg

“…In this paper, we define an extension of Linear Temporal Logic (LTL) over finite words to describe cost functions. …”
Get full text

The Complexity of Generalized Satisfiability for Linear Temporal Logic by Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

“…In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. …”
Get full text

Combination of temporal logic with modal logic KD by Regimantas Pliuškevičius

Get full text

On Process−algebraic Extensions of Metric Temporal Logic by Haase, C, Ouaknine, J, Worrell, J

Responsibility and verification: importance value in temporal logics by Mascle, C, Baier, C, Funke, F, Jantsch, S, Kiefer, S

Some Recent Results in Metric Temporal Logic by Ouaknine, J, Worrell, J

“…Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. …”

On metric temporal logic and faulty turing machines by Ouaknine, J, Worrell, J

“…Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. …”

Safety metric temporal logic is fully decidable by Ouaknine, J, Worrell, J

“…Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. …”

On the Expressive Power of Some Extensions of Linear Temporal Logic by Anton Gnatenko, Vladimir Zakharov

“…In this paper, we define some new (as far as we know) extension LP-LT L of Linear Temporal Logic specifically intended for describing the properties of transducers computations. …”
Get full text