Pages that link to "Item:Q3608433"
From MaRDI portal
The following pages link to A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433):
Displayed 9 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)