Justification Logic

DOI10.1007/978-3-540-87803-2_1zbMATH Open1156.03318OpenAlexW2913659353MaRDI QIDQ3532452FDOQ3532452

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• Justification Logic
• The logic of proofs, semantically
• An essay in modal logic
• Introducing Justification into Epistemic Logic
• Title not available (Why is that?)
• Justified common knowledge
• Making knowledge explicit: how hard it is
• Title not available (Why is that?)
• Logical Omniscience Via Proof Complexity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Active agents

Cited In (11)

• Propositional games with explicit strategies
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• Static justification in the dynamics of belief
• Correct audit logging in concurrent systems
• The Logic of Justification
• A logic of plausible justifications
• Self-referentiality of Justified Knowledge
• Justification Logic
• NEXP-Completeness and Universal Hardness Results for Justification Logic
• Justification logic with confidence
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING

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)