Pages that link to "Item:Q1056745"
From MaRDI portal
The following pages link to The modal logic of provability. The sequential approach (Q1056745):
Displaying 33 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Modal interpolation via nested sequents (Q487689) (← 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)
- The modal logic of provability: cut-elimination (Q790809) (← 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)
- An epistemic logic for becoming informed (Q833038) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Formal topological characterizations of various continuous domains (Q1004687) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Cut-elimination for weak Grzegorczyk logic Go (Q2016062) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← 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)
- Note on some fixed point constructions in provability logic (Q2499296) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs (Q2957670) (← links)
- A realization theorem for the Gödel-Löb provability logic (Q2957859) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- The Henkin Sentence (Q3454817) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)
- A formalization of Sambins's normalization for GL (Q4304806) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- (Q5119390) (← links)