Pages that link to "Item:Q790809"
From MaRDI portal
The following pages link to The modal logic of provability: cut-elimination (Q790809):
Displaying 17 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- On the proof-theory of two formalisations of modal first-order logic (Q622627) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Modal tableau calculi and interpolation (Q798647) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← 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)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)
- (Q5119390) (← links)
- A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY (Q5850981) (← links)
