Introduction to the Calculus of Knowledge
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 probl...
| Autor principal: | |
|---|---|
| Idioma: | en_US |
| Publicado em: |
2004
|
| Acesso em linha: | http://hdl.handle.net/1721.1/6071 |