Pages that link to "Item:Q798649"
From MaRDI portal
The following pages link to On some proof theoretical properties of the modal logic GL (Q798649):
Displaying 5 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq (Q2142084) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
