Show simple item record

Introduction to the Calculus of Knowledge

dc.date.accessioned2004-10-04T14:37:32Z
dc.date.accessioned2018-11-24T10:11:47Z
dc.date.available2004-10-04T14:37:32Z
dc.date.available2018-11-24T10:11:47Z
dc.date.issued1961-11-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6071
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6071
dc.description.abstractThis 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.en_US
dc.format.extent11 p.en_US
dc.format.extent1676818 bytes
dc.format.extent1319757 bytes
dc.language.isoen_US
dc.titleIntroduction to the Calculus of Knowledgeen_US


Files in this item

FilesSizeFormatView
AIM-029.pdf1.319Mbapplication/pdfView/Open
AIM-029.ps1.676Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record