Justification Logic

DOI10.1007/978-3-540-87803-2_1zbMath1156.03318OpenAlexW2913659353MaRDI QIDQ3532452

Sergej N. 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

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

Related Items (6)

J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ Self-referentiality of Justified Knowledge ⋮ Justification Logic ⋮ Correct audit logging in concurrent systems ⋮ Propositional games with explicit strategies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• Active agents
• Justified common knowledge
• Making knowledge explicit: how hard it is
• An essay in modal logic
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Justification Logic
• Logical Omniscience Via Proof Complexity

This page was built for publication: Justification Logic