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 Ditmarsch | 1 | 3 | 2.46 |
Joseph Y. Halpern | 2 | 9617 | 1618.10 |
Wiebe Van Der Hoek | 3 | 2566 | 195.77 |
Barteld P. Kooi | 4 | 7 | 0.94 |