The following pages link to (Q4260367):
Displayed 7 items.
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)