Embedding theorems for LTL and its variants
From MaRDI portal
Publication:5740619
DOI10.1017/S0960129514000048zbMath1362.03019MaRDI QIDQ5740619
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (2)
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
Uses Software
Cites Work
- Dynamic topological logic
- Cut elimination for S4C: A case study
- On dynamic topological and metric logics
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Game logic and its applications. II
- A proof-theoretic investigation of a logic of positions
- An approach to infinitary temporal proof theory
- The complexity of propositional linear temporal logics in simple cases
- Linear and affine logics with temporal, spatial and epistemic operators
- Cut-elimination Theorems for Some Infinitary Modal Logics
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- Sequential Calculus for a First Order Infinitary Temporal Logic
- The complexity of propositional linear temporal logics
- AN NP-COMPLETE FRAGMENT OF LTL
- Algebraische und logistische Untersuchungen über freie Verbände
- Unnamed Item
This page was built for publication: Embedding theorems for LTL and its variants