The logic of proofs, semantically
From MaRDI portal
Publication:703832
DOI10.1016/j.apal.2004.04.009zbMath1066.03059OpenAlexW2045237008MaRDI QIDQ703832
Publication date: 11 January 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.04.009
intuitionistic logiclogic of proofsarithmetical provability interpretationexplicit knowledgeKripke-type semanticsmodal logic S4proof polynomial
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (90)
The dynamics of argumentative discourse ⋮ Possibilistic Justification Logic ⋮ J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ On Aggregating Probabilistic Evidence ⋮ Probabilistic Justification Logic ⋮ An Arithmetical Interpretation of Verification and Intuitionistic Knowledge ⋮ Modal logics, justification logics, and realization ⋮ An epistemic logic for becoming informed ⋮ Justifications for common knowledge ⋮ The basic intuitionistic logic of proofs ⋮ Simple Evidence Elimination in Justification Logic ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ The Logic of Uncertain Justifications ⋮ Justifications, Awareness and Epistemic Dynamics ⋮ Temporalizing Modal Epistemic Logic ⋮ Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic ⋮ Decidability for some justification logics with negative introspection ⋮ A Conflict Tolerant Logic of Explicit Evidence ⋮ Explicit non-normal modal logic ⋮ Two Ways to Common Knowledge ⋮ Justification logic and type theory as formalizations of intuitionistic propositional logic ⋮ A logic of interactive proofs ⋮ Labeled sequent calculus for justification logics ⋮ Relating Semantics for Epistemic Logic ⋮ NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Prehistoric graph in modal derivations and self-referentiality ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Evidence and plausibility in neighborhood structures ⋮ Possible world semantics for first-order logic of proofs ⋮ The logic of uncertain justifications ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ Substructural epistemic logics ⋮ A new framework for justification logic ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Topological Semantics of Justification Logic ⋮ S4LP and Local Realizability ⋮ Self-referentiality of Justified Knowledge ⋮ Conservativity for logics of justified belief: two approaches ⋮ Lower complexity bounds in justification logic ⋮ Prefixed tableaus and nested sequents ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Conditional obligations in justification logic ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Justification logic with confidence ⋮ From the knowability paradox to the existence of proofs ⋮ Dynamic logics of knowledge and access ⋮ A substructural approach to explicit modal logic ⋮ Providing personalized explanations: a conversational approach ⋮ Justification logics and hybrid logics ⋮ Hyperintensional logics for everyone ⋮ A logic of knowing why ⋮ Realizations and LP ⋮ A modal provability logic of explicit and implicit proofs ⋮ Realization for justification logics via nested sequents: modularity through embedding ⋮ The Logic of Justification ⋮ Discovering knowability: a semantic analysis ⋮ The ontology of justifications in the logical setting ⋮ Justification Logic ⋮ A new semantics for systems of logic of essence ⋮ 2007 Annual Meeting of the Association for Symbolic Logic ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ Interacting explicit evidence systems ⋮ A complexity question in justification logic ⋮ Realizing public announcements by justifications ⋮ On the factivity of implicit intersubjective knowledge ⋮ Logic of proofs with substitution ⋮ On non-self-referential fragments of modal logics ⋮ A quantified logic of evidence ⋮ Distributed knowledge justification logics ⋮ THE LOGIC OF JUSTIFICATION ⋮ Tracking Evidence ⋮ A LOGIC OF JUSTIFICATION AND TRUTHMAKING ⋮ Justified common knowledge ⋮ Making knowledge explicit: how hard it is ⋮ Self-referential justifications in epistemic logic ⋮ Reasoning with Justifications ⋮ Conservativity for Logics of Justified Belief ⋮ Symmetric Logic of Proofs ⋮ Propositional games with explicit strategies ⋮ The Minimal System of Justification Logic with Names ⋮ A logic of plausible justifications ⋮ Knowledge, Time, and Logical Omniscience ⋮ Justification logics, logics of knowledge, and conservativity ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ On Definitive Solutions of Strategic Games ⋮ Non-circular proofs and proof realization in modal logic ⋮ Justification Logics with Probability Operators
Cites Work
This page was built for publication: The logic of proofs, semantically
