Pages that link to "Item:Q3393380"
From MaRDI portal
The following pages link to Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380):
Displaying 8 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- Embedding theorems for LTL and its variants (Q5740619) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
