Pages that link to "Item:Q3753985"
From MaRDI portal
The following pages link to On the Proof Theory of the Modal Logic Grz (Q3753985):
Displaying 7 items.
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Valentini's cut-elimination for provability logic resolved (Q2890695) (← links)
- A Syntactic Proof of Cut‐Elimination For GL<sub>lin</sub> (Q3762309) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- (Q5445167) (← links)