The following pages link to Logic of proofs (Q1326774):
Displaying 39 items.
- J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037) (← links)
- The logic of uncertain justifications (Q392291) (← links)
- Proof internalization in generalized Frege systems for classical logic (Q392294) (← links)
- Conservativity for logics of justified belief: two approaches (Q408535) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- Counting proofs in propositional logic (Q1014285) (← links)
- Data storage interpretation of labeled modal logic (Q1919761) (← links)
- An operational logic of proofs with positive and negative information (Q1970597) (← links)
- Justification logic with confidence (Q2193973) (← links)
- On modal logic of deductive closure (Q2498907) (← links)
- Justified common knowledge (Q2500478) (← links)
- Referential logic of proofs (Q2500486) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- A Logical Introduction to Proof (Q2881334) (← links)
- (Q3069241) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- The Henkin Sentence (Q3454817) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Conservativity for Logics of Justified Belief (Q3605540) (← links)
- A Survey of Propositional Realizability Logic (Q3616428) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Extracting Information from Logical Proofs (Q4051642) (← links)
- Realization of Intuitionistic Logic by Proof Polynomials (Q4531579) (← links)
- Proofs and Models in Philosophical Logic (Q5021146) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Witness algebra and anyon braiding (Q5139281) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Proof systems for BAT consequence relations (Q5384361) (← links)
- Rational proofs (Q5415532) (← links)
- The single-conclusion proof logic and inference rules specification (Q5957913) (← links)
- Logic of proofs and provability (Q5957921) (← links)
- Provability logics with quantifiers on proofs (Q5957922) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
