Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, CaliforniaJoseph Y. Halpern Theoretical Aspects of Reasoning About Knowledge. |
Common terms and phrases
Alec Alice approach Artificial Intelligence assume assumption axiom belief revision causal connection classical common knowledge complete consider context defined definition denote discourse Distributed Computing distributed systems epistemic logic example explicit belief explicitly fact Fagin finite first-order logic follows formal formula function Halpern Hesperus Hintikka identity implicit knowledge indiscernable inference input interpretation introspective intuitive Jaakko Hintikka knowledge and action knowledge and belief Konolige Kripke language Lemma Levesque Liar Paradox logic of knowledge modal logic modus ponens notion objects operator paper Paradox particular pegs play player possible worlds primitive proposition problem processors proof properties propositional attitudes propositional logic protocol quantifiers reasoning about knowledge relation relevance logic relevant representation represented restriction result round S₁ satisfies self-reference self-referential semantics sentences situation SRI International structure symbols syntactical predicate Theorem theory true truth value Turing machines valid