The Logic of Justification

DOI10.1007/978-3-319-20451-2_32MaRDI QIDQ2971696zbMATH OpenOpenAlexFDO

Authors Sergei Artemov

Publication date 7 April 2017

Published in Readings in Formal Epistemology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20451-2_32

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Justification Logic
• The justification of the basic laws of logic
• Justification logic. Reasoning with reasons
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• A logic of plausible justifications
• A logic of plausible justifications
• The logic of epistemic justification
• The justification of the logical laws revisited
• Reasoning with Justifications

Cites work

• Active agents
• An essay in modal logic
• Belief, awareness, and limited reasoning
• Constructivism in mathematics. An introduction. Volume II
• Derivability in certain subsystems of the logic of proofs is _2p-complete
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit Proofs in Formal Provability Logic
• Explicit provability and constructive semantics
• First-order modal logic
• From the knowability paradox to the existence of proofs
• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 515725 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 4197469 (Why is no real title available?)
• scientific article; zbMATH DE number 3074846 (Why is no real title available?)
• Impossible possible worlds vindicated
• Introducing Justification into Epistemic Logic
• Justified and Common Knowledge: Limited Conservativity
• Justified common knowledge
• Logical Omniscience Via Proof Complexity
• Making knowledge explicit: how hard it is
• Multi-agent Explicit Knowledge
• On the complexity of the reflected logic of proofs
• On the interpretation of intuitionistic number theory
• On two models of provability
• Referential logic of proofs
• Symmetric Logic of Proofs
• The logic of proofs, semantically
• The single-conclusion proof logic and inference rules specification

Cited in

(33)

• Constructive knowledge and the justified true belief paradigm
• On the logical unsolvability of the Gettier problem
• Justification logic with confidence
• The defeasible nature of coherentist justification
• The logic of epistemic justification
• A logic of knowing why
• Justified belief and the topology of evidence
• Comments on Artemov
• The logic of justification
• Justification logic and history based computation
• Tracking evidence
• The logic of justified belief, explicit knowledge, and conclusive evidence
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• The logical burdens of proof. Assertion and hypothesis
• A new framework for justification logic
• In defence of a logic for ‘because’
• On the justification problems: towards a Peircean diagnosis and solution
• On degrees of justification
• Logics of Moore's paradox
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Knowledge, justification, and adequate reasons
• A Conflict Tolerant Logic of Explicit Evidence
• Gettier cases, logical knowledge and evidential luck
• Intuitive and Regressive Justifications†
• A notion of \(C\)-justification for empirical statements
• Why do we need justification logic?
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• Classical reasoning in the justification paradigm
• Optimality justifications and the optimality principle: new tools for foundation-theoretic epistemology
• A logic of plausible justifications
• The sharpness property of justification logic
• Rosenkranz's logic of justification and unprovability
• Self-referential justifications in epistemic logic

This page was built for publication: The Logic of Justification

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