Logic of proofs
From MaRDI portal
Publication:1326774
DOI10.1016/0168-0072(94)90007-8zbMath0796.03029OpenAlexW2093281783MaRDI QIDQ1326774
Publication date: 8 June 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(94)90007-8
Kripke semanticsprovability logicdecision procedurecompleteness with respect to the arithmetical interpretation
Related Items
J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ Realization of Intuitionistic Logic by Proof Polynomials ⋮ An epistemic logic for becoming informed ⋮ The basic intuitionistic logic of proofs ⋮ The Henkin Sentence ⋮ The Logic of Uncertain Justifications ⋮ Data storage interpretation of labeled modal logic ⋮ The logic of uncertain justifications ⋮ Proof internalization in generalized Frege systems for classical logic ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Topological Semantics of Justification Logic ⋮ Conservativity for logics of justified belief: two approaches ⋮ Justification logic as a foundation for certifying mobile computation ⋮ Justification logic with confidence ⋮ Executability and connexivity in an interpretation of Griss ⋮ A modal type theory for formalizing trusted communications ⋮ Justification logics and hybrid logics ⋮ Witness algebra and anyon braiding ⋮ Explicit Provability and Constructive Semantics ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ On modal logic of deductive closure ⋮ Justified common knowledge ⋮ Referential logic of proofs ⋮ Conservativity for Logics of Justified Belief ⋮ The single-conclusion proof logic and inference rules specification ⋮ Logic of proofs and provability ⋮ Provability logics with quantifiers on proofs ⋮ A Survey of Propositional Realizability Logic ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ The Minimal System of Justification Logic with Names ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
Cites Work
