Logical Omniscience and Resourse-Bounded Agents (2004)
BibTeX
@MISC{Whitsey04logicalomniscience,
author = {Mark Whitsey},
title = {Logical Omniscience and Resourse-Bounded Agents},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Contents 1 Introduction 3 1.1 Standard Epistemic Logics . . . . . . . . . . . . . . . . . . . . . . 6 1.2 Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.3 A Framework for Comparison . . . . . . . . . . . . . . . . . . . . 8 1.4 Resource Bounded Agents . . . . . . . . . . . . . . . . . . . . . . 8 2 Propositional Accounts 10 2.1 Nonstandard/Impossible Worlds . . . . . . . . . . . . . . . . . . 10 2.2 Explicit and Implicit Belief . . . . . . . . . . . . . . . . . . . . . 10 2.3 Nonstandard Logics . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Local Reasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.5 Logics of General Awareness . . . . . . . . . . . . . . . . . . . . . 14 2.6 What is Awareness? . . . . . . . . . . . . . . . . . . . . . . . . . 16 3 Syntactic Accounts 18 3.1 Self-Referentiality and Inconsistency . . . . . . . . . . . . . . . . 20 3.2 Consistent Syntactic Approaches . . . . . . . . . . . . . . . . . . 21 3.3 Other Pro
