## Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

SESSION | 8 |

SESSION 2 | 50 |

The Paradigm of Epistemic Logic invited talk | 63 |

Copyright | |

18 other sections not shown

### Common terms and phrases

action agent Alec Alice approach Artificial Intelligence assume assumption axiom axiomatization belief revision classical clause common knowledge complete Computer Science consider context define definition denote Distributed Computing distributed systems epistemic logic equivalence example explicit belief fact finite first-order logic follows formal function Halpern Hintikka identical implicit knowledge inconsistent indiscernable inference initial configuration input interpretation introspective Intuitively Jaakko Hintikka knowledge and belief knowledge base knowledge worlds knows Kripke language Lemma Liar Paradox logic of knowledge modal logic modal operators modus ponens notion objects paper Paradox pegs play player possible worlds predicate primitive proposition problem processors proof properties quantifiers reasoning about knowledge recursion relation relevance logic relevant representation restricted result round satisfies self-reference semantics sentences SRI International structure syntactic syntactical predicate temporal logic Theorem theory true truth value Turing machines valid