The following pages link to Logic of proofs and provability (Q5957921):
Displaying 33 items.
- A modal provability logic of explicit and implicit proofs (Q636278) (← links)
- The logic of proofs, semantically (Q703832) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293) (← links)
- Logic of proofs (Q1326774) (← links)
- Provability logic and the completeness principle (Q1740459) (← links)
- An operational logic of proofs with positive and negative information (Q1970597) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- Justified common knowledge (Q2500478) (← links)
- Referential logic of proofs (Q2500486) (← links)
- (Q2753697) (← links)
- (Q3069241) (← links)
- On symbolic models for Single-Conclusion Logic of Proofs (Q3173324) (← links)
- Analytic Methods for the Logic of Proofs (Q3406688) (← links)
- Reference Constructions in the Single-conclusion Proof Logic (Q3431965) (← links)
- Logic of Proofs and Labels with a Complete Set of Operations (Q3431970) (← links)
- (Q3442955) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Tableaux and Hypersequents for Justification Logic (Q3605536) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Extracting Information from Logical Proofs (Q4051642) (← links)
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140) (← links)
- Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- (Q5119550) (← links)
- (Q5141784) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- Rational proofs (Q5415532) (← links)
- (Q5477944) (← links)
- Negative Operations on Proofs and Labels (Q5696306) (← links)
- On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs (Q5696307) (← links)
