Why Do We Need Justification Logic?

DOI10.1007/978-94-007-0714-6_2zbMath1317.03020OpenAlexW143794878MaRDI QIDQ5261291

Sergej N. Artemov

Publication date: 3 July 2015

Published in: Games, Norms and Reasons (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0714-6_2

zbMATH Keywords

justification logic

Mathematics Subject Classification ID

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

Related Items

Justifications, Awareness and Epistemic Dynamics ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ The logic of uncertain justifications ⋮ Lower complexity bounds in justification logic ⋮ The NP-Completeness of Reflected Fragments of Justification Logics