Logics of proofs and justifications
From MaRDI portal
Publication:5232011
zbMATH Open1457.03004MaRDI QIDQ5232011FDOQ5232011
Authors: Roman Kuznets, Thomas Studer 
Publication date: 4 September 2019
Recommendations
logic of proofsself-referentialityarithmetical completenessproof-termepistemic modelBHK-interpretationconstant specificationevidence-termlogic of justifications
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 (64)
- The logic of uncertain justifications
- The internalized disjunction property for intuitionistic justification logic
- Incomplete Information and Justifications
- Modal and justification logics for multi-agent systems (invited talk)
- Rosenkranz's logic of justification and unprovability
- Comments on Artemov
- Foundations for a logic of arguments
- Tableaux and interpolation for propositional justification logics
- Semirings of Evidence
- Exploring subset models for justification logic
- Intuitionistic hypothetical logic of proofs
- Self-referential justifications in epistemic logic
- Logic of implicit and explicit justifiers
- Inference as doxastic agency. II: Ramifications and refinements
- First-order justification logic with constant domain semantics
- The ontology of justifications in the logical setting
- Partial realization in dynamic justification logic
- Justified terminological reasoning
- A substructural approach to explicit modal logic
- On intermediate justification logics
- Modal logics, justification logics, and realization
- Relating logics of justifications and evidence
- What are justification logics?
- A new framework for justification logic
- Title not available (Why is that?)
- Justification logic. Reasoning with reasons
- Title not available (Why is that?)
- Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}
- Justification logics and hybrid logics
- Logic of proofs
- Providing personalized explanations: a conversational approach
- Justification logic for constructive modal logic
- Explicit non-normal modal logic
- Justification logic and history based computation
- Proofs and Models in Philosophical Logic
- Justification logic and type theory as formalizations of intuitionistic propositional logic
- Weak relevant justification logics
- Justification Logics with Probability Operators
- A logic of interactive proofs
- Stoic Sequent Logic and Proof Theory
- Reasoning with Justifications
- Labeled sequent calculus for justification logics
- The logic of justification
- A logic of knowing why
- Tableaux and hypersequents for justification logics
- Relevant justification logic
- Justification logic and audited computation
- A Conflict Tolerant Logic of Explicit Evidence
- Self-referentiality of Justified Knowledge
- Belief expansion in subset models
- Feasible operations on proofs: the logic of proofs for bounded arithmetic
- A notion of \(C\)-justification for empirical statements
- Arithmetical Completeness of the Intuitionistic Logic of Proofs
- Structured argumentation dynamics. Undermining attacks in default justification logic
- A new notion of meaning connection and the logic of simple processes
- Weak arithmetical interpretations for the logic of proofs
- Title not available (Why is that?)
- A Gödel-Artemov-style analysis of constructible falsity
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
- Analytic methods for the logic of proofs
- Title not available (Why is that?)
- Conditional obligations in justification logic
- Decidability for justification logics revisited
- A formal theory of justifications
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)
