Logical dynamics of information and interaction

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and...

Полное описание

Библиографические подробности

Главный автор:	Benthem, J. F. A. K. van, 1949-
Соавтор:	ebrary, Inc
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Cambridge ; New York : Cambridge University Press, 2011.
Предметы:	Logic, Symbolic and mathematical. Electronic books.
Online-ссылка:	An electronic book accessible through the World Wide Web; click to view
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!