Justification Logic

Authors:
Sergei Artemov
Affiliations:
CUNY Graduate Center, New York City, USA NY 10016
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 12
Cited 2

Belief, awareness, and limited reasoning

Artificial Intelligence
Knowledge and the problem of logical omniscience

Proceedings of the Second International Symposium on Methodologies for intelligent systems
Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
On the Complexity of Explicit Modal Logics

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Resource-bounded Knowledge

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Active Agents

Journal of Logic, Language and Information
Justified common knowledge

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Making knowledge explicit: how hard it is

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Introducing Justification into Epistemic Logic

Journal of Logic and Computation
Belief, awareness, and limited reasoning: preliminary report

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Logical omniscience via proof complexity

CSL'06 Proceedings of the 20th international conference on Computer Science Logic

Justification logic and history based computation

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Justification Logic offers a new approach to a theory of knowledge, belief, and evidence, which possesses the potential to have significant impact on applications. The celebrated account of knowledgeas justified true belief, which is attributed to Plato, has long been a focus of epistemic studies (cf. [10,15,18,26,30,32] and many others).