Hans van Ditmarsch; Wiebe van der Hoek; Barteld Ko Dynamic Epistemic Logic 9781402069086

Варианты приобретения

Цена: 9781.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Hans van Ditmarsch; Wiebe van der Hoek; Barteld Ko
Название: Dynamic Epistemic Logic
ISBN: 9781402069086
Издательство: Springer
Классификация:

Философия: Логика

ISBN-10: 1402069081
Обложка/Формат: Paperback
Страницы: 296
Вес: 0.44 кг.
Дата издания: 15.11.2007
Серия: Synthese Library
Язык: English
Издание: 2008 ed.
Иллюстрации: Xi, 296 p.
Размер: 234 x 156 x 17
Читательская аудитория: Postgraduate, research & scholarly
Основная тема: Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

Dynamic Epistemic Logic, Hans van Ditmarsch; Wiebe van der Hoek; Barteld Ko