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.
Предметы:
Online-ссылка:An electronic book accessible through the World Wide Web; click to view
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Оглавление:
  • Machine generated contents note: Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography.