Logics of proofs and justifications

zbMATH Open1457.03004MaRDI QIDQ5232011FDOQ5232011

Thomas Studer, Roman Kuznets

Publication date: 4 September 2019

Recommendations

• Justification logic. Reasoning with reasons
• Logic of proofs and provability
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• The basic intuitionistic logic of proofs
• The logic of proofs, semantically

zbMATH Keywords

logic of proofsself-referentialityarithmetical completenessproof-termepistemic modelBHK-interpretationconstant specificationevidence-termlogic of justifications

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Cited In (28)

• Incomplete Information and Justifications
• Modal and justification logics for multi-agent systems (invited talk)
• Foundations for a logic of arguments
• Tableaux and interpolation for propositional justification logics
• Semirings of Evidence
• A substructural approach to explicit modal logic
• On intermediate justification logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic of proofs
• Providing personalized explanations: a conversational approach
• Explicit non-normal modal logic
• Proofs and Models in Philosophical Logic
• Justification logic and type theory as formalizations of intuitionistic propositional logic
• Justification Logics with Probability Operators
• A logic of interactive proofs
• Stoic Sequent Logic and Proof Theory
• Reasoning with Justifications
• A logic of knowing why
• A Conflict Tolerant Logic of Explicit Evidence
• Self-referentiality of Justified Knowledge
• Feasible operations on proofs: the logic of proofs for bounded arithmetic
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Title not available (Why is that?)
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• Title not available (Why is that?)
• Conditional obligations in justification logic

This page was built for publication: Logics of proofs and justifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5232011)