On the Proof Theory of the Modal Logic Grz
From MaRDI portal
Publication:3753985
Recommendations
Cited in
(8)- scientific article; zbMATH DE number 5241978 (Why is no real title available?)
- Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
- Valentini's cut-elimination for provability logic resolved
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- Cut-elimination for weak Grzegorczyk logic Go
- Syntactical results on the arithmetical completeness of modal logic
- On some proof theoretical properties of the modal logic GL
- A Syntactic Proof of Cut‐Elimination For GLlin
This page was built for publication: On the Proof Theory of the Modal Logic Grz
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753985)