Pages that link to "Item:Q1344880"

The following pages link to The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880):

Displaying 3 items.

• Loop-type sequent calculi for temporal logic (Q2228437) (← links)
• Finite sequent calculi for PLTL (Q5040746) (← links)
• Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)