linear temporal logic and extensions
Vectorial Languages and Linear Temporal Logic
13
Intuitionistic linear temporal logics
44
On Finite Domains in First-Order Linear Temporal Logic
24
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
15
Automata and temporal logic over arbitrary linear time
14
Vectorial Languages and Linear Temporal Logic
47
Logic and Linear programs to understand cancer response
21
Simulation under arbitrary temporal logic constraints
7
Comparing semantics for temporal STIT logic
38
Interactive Theorem Proving with Temporal Logic
45
Interaction Graphs: Full Linear Logic
16
Object calculi in linear logic
35
Comparing semantics for temporal STIT logic
37
Temporal Logic in Natural Language Processing
10
Introduction to linear logic and ludics, part II
50
Introduction to linear logic and ludics, part I
30
Quantitative Game Semantics for Linear Logic
22
Generalized connectives for multiplicative linear logic
17
Translating types and effects with state monads and linear logic
15
Reasoning on Assembly Code using Linear Logic
12