Linear temporal logic
Linear temporal logic for regular cost functions
11
A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
189
Vectorial Languages and Linear Temporal Logic
13
On Finite Domains in First-Order Linear Temporal Logic
24
Axiomatizing the lexicographic products of modal logics with linear temporal logic
20
From Linear Temporal Logic Properties to Rewrite Propositions
35
Simple On-the-fly Automatic Verification of Linear Temporal Logic
16
Linear Temporal Logic and Propositional Schemata, Back and Forth
9
Vectorial Languages and Linear Temporal Logic
47
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
18
Temporal STIT logic and its application to normative reasoning
29
Concurrent Game Structures for Temporal STIT Logic
11
Using Temporal Logic for Dynamic Reconfigurations of Components
19
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
15
Temporal STIT logic and its application to normative reasoning
30
Simulation under arbitrary temporal logic constraints
7
Automata and temporal logic over arbitrary linear time
14
Concurrent Game Structures for Temporal STIT Logic
10
Polynomial time in untyped elementary linear logic
41
Cones as a model of intuitionistic linear logic
20