What people are saying - Write a review
We haven't found any reviews in the usual places.
The Paradigm of Epistemic Logic invited talk
18 other sections not shown
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