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 5 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)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)