# Epistemic Logic for AI and Computer Science

**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_

## Details

- **Price:** 76.33 EUR
- **Vendor:** Intertaal
- **Type:** Boek

## Variants

| Variant | Price | Available |
|---------|-------|-----------|
| Default Title | 76.33 EUR | In stock |

## Images

- Blauw gestreepte boekomslag met witte tekst epistemic logic for ai and computer science door j.-j. voor introductie in computer science

## Additional Information

- **ISBN :** 9780521602808
- **Auteur:** J.-J. Ch. Meyer, W. van der Hoek
- **Serie:** Cambridge Tracts in Theoretical Computer Science
- **Releasedate:** 25-03-2004

---

> Source: [Intertaal](https://intertaalid.nl/products/epistemic-logic-for-ai-and-computer-science-9780521602808)
> Updated: 2026-08-23