Pages that link to "Item:Q5221853"
From MaRDI portal
The following pages link to Cyclic Proofs for Linear Temporal Logic (Q5221853):
Displaying 7 items.
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- Ill-founded proof systems for intuitionistic linear-time temporal logic (Q6541154) (← links)
