Hans van Ditmarsch & Wiebe van der Hoek 
Dynamic Epistemic Logic [PDF ebook] 

поддержка

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic.

A s...

прочитайте больше
€96.29
Способы оплаты

Содержание

Epistemic Logic.- Belief Revision.- Public Announcements.- Epistemic Actions.- Action Models.- Completeness.- Expressivity.

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● страницы 296 ● ISBN 9781402058394 ● Размер файла 3.1 MB ● издатель Springer Netherland ● город Dordrecht ● Страна NL ● опубликованный 2007 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2148148 ● Защита от копирования Социальный DRM

Больше книг от того же автора (ов) / редактор

8 714 Электронные книги в этой категории