Pages that link to "Item:Q2228437"

The following pages link to Loop-type sequent calculi for temporal logic (Q2228437):

Displaying 3 items.

• Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
• Logical derivation search with assumption traceability (Q5040820) (← links)
• More efficient proof-search for sequents of temporal logic (Q5058432) (← links)