Justification Logic

DOI10.1007/978-3-540-87803-2_1MaRDI QIDQ3532452zbMATHOpenAlexFDO

Authors Sergei Artemov

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_1

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 6389528
• Justification logic. Reasoning with reasons
• Introducing Justification into Epistemic Logic
• Why do we need justification logic?
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (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?)
• Active agents
• An essay in modal logic
• Belief, awareness, and limited reasoning
• Explicit provability and constructive semantics
• Impossible possible worlds vindicated
• Introducing Justification into Epistemic Logic
• Justification Logic
• Justified common knowledge
• Logical Omniscience Via Proof Complexity
• Making knowledge explicit: how hard it is
• The logic of proofs, semantically

Cited in

(19)

• Justification by acquaintance
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• The Logic of Justification
• The logic of epistemic justification
• Constructive knowledge and the justified true belief paradigm
• NEXP-completeness and universal hardness results for justification logic
• Justification logic with confidence
• Identifying logical evidence
• Correct audit logging in concurrent systems
• A logic of plausible justifications
• Static justification in the dynamics of belief
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Propositional games with explicit strategies
• Can knowledge be justified true belief?
• Why do we need justification logic?
• Pluralism in probabilistic justification
• Self-referentiality of Justified Knowledge
• Justification Logic
• Introduction to the special issue `knowledge and justification: new perspectives'

This page was built for publication: Justification Logic

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