The following pages link to Sequent systems for PLTL (Q2799620):
Displaying 10 items.
- Propositional linear temporal logic with initial validity semantics (Q271908) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- PTL sequent calculus system (Q1895457) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Cut, invariant rule, and loop-check free sequent calculus for PLTL (Q2791889) (← links)
- Systematic semantic tableaux for PLTL (Q2871849) (← links)
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433) (← links)
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)