Justification Logic

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

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)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Justification Logic 👍 👎
• Introducing Justification into Epistemic Logic 👍 👎
• Why Do We Need Justification Logic? 👍 👎
• 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)