Title
An Introduction to Logics of Knowledge and Belief.
Abstract
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.
Year
Venue
Field
2015
CoRR
Epistemic modal logic,Pointer (computer programming),Formal language,Programming language,Computer science,Artificial intelligence,Machine learning
DocType
Volume
Citations 
Journal
abs/1503.00806
2
PageRank 
References 
Authors
0.40
11
4
Name
Order
Citations
PageRank
Hans van Ditmarsch132.46
Joseph Y. Halpern296171618.10
Wiebe Van Der Hoek32566195.77
Barteld P. Kooi470.94