The following pages link to (Q4282615):
Displaying 6 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)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
