What people are saying - Write a review
We haven't found any reviews in the usual places.
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
Proceedings of the 4th conference on Theoretical aspects of ...
Algorithmic Knowledge - Halpern, Moses, Vardi (researchindex)
Reasoning about knowledge Reasoning about knowledge
Blackwell Publishing Ltd Oxford, UK COIN Computational ...
JSTOR: Reasoning About Knowledge: An Overview.
Publications of Joseph Y. Halpern
logical omniscience of reactive systems
Knowledge and probability in distributed systems: Abstract