Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6071
Title: Introduction to the Calculus of Knowledge
Issue Date: 9-Oct-2013
Description: This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the system of a well-known reasoning problem is presented.
URI: http://koha.mediu.edu.my:8181/xmlui/handle/1721
Other Identifiers: AIM-029
http://hdl.handle.net/1721.1/6071
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.