Epistemic Logic for AI and Computer Science by J. -J Ch Meyer (English) Paperbac
88,62 €
The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. The problem of logical omniscience is also discussed extensively.
Jetzt bei Ebay:
