Epistemic Logic for AI and Computer Science van J.-J. Ch. Meyer en W. van der Hoek is een Engelstalig studieboek over formele logica voor kennis en overtuigingen in artificial intelligence.
Het boek behandelt Kripke semantics, modal logics K, T, S4 en S5, common knowledge, distributed knowledge, belief, knowledge over time en logical omniscience. De theorie wordt gekoppeld aan distributed systems en multi-agent reasoning. Geschikt voor studenten theoretical computer science, AI en logic. ISBN 9780521602808.
Serie: Cambridge Tracts in Theoretical Computer Science