Embedding theorems for LTL and its variants
From MaRDI portal
Recommendations
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- Temporal Gödel-Gentzen and Girard translations
- Interpolation theorems for some variants of LTL
- Cut-elimination and completeness in dynamic topological and linear-time temporal logics
- Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
Cites work
- A proof-theoretic investigation of a logic of positions
- Algebraische und logistische Untersuchungen über freie Verbände
- An approach to infinitary temporal proof theory
- AN NP-COMPLETE FRAGMENT OF LTL
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Cut elimination for S4C: A case study
- Cut-elimination theorems for some infinitary modal logics
- Dynamic topological logic
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- Game logic and its applications. II
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- Linear and affine logics with temporal, spatial and epistemic operators
- On dynamic topological and metric logics
- Sequential Calculus for a First Order Infinitary Temporal Logic
- The complexity of propositional linear temporal logics
- The complexity of propositional linear temporal logics in simple cases
Cited in
(8)- Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- scientific article; zbMATH DE number 1059343 (Why is no real title available?)
- Interpolation theorems for some variants of LTL
- Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- A unified Gentzen-style framework for until-free LTL
- Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
This page was built for publication: Embedding theorems for LTL and its variants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740619)
