Pages that link to "Item:Q2851950"

The following pages link to Formalizing Cut Elimination of Coalgebraic Logics in Coq (Q2851950):

Displaying 5 items.

• Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
• A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
• Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
• A henkin-style completeness proof for the modal logic S5 (Q2695534) (← links)
• Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)