The following pages link to (Q5460163):
Displaying 9 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- (Q2757840) (← links)
- Cut-elimination and completeness in dynamic topological and linear-time temporal logics (Q2904138) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- (Q4353628) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
