Chapter Abstract:
This chapter contains sections titled: Completeness Results, Decidability, Incorporating Common Knowledge, Incorporating Distributed Knowledge, The Complexity of the Vali...Show MoreMetadata
Chapter Abstract:
This chapter contains sections titled: Completeness Results, Decidability, Incorporating Common Knowledge, Incorporating Distributed Knowledge, The Complexity of the Validity Problem, NP-Completeness Results for S5 and KD45, The First-Order Logic of Knowledge, Exercises, Notes
Page(s): 49 - 107
Copyright Year: 2004
Online ISBN:9780262256094
