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
フォーマット: 電子媒体 eBook
言語:英語
出版事項: Cambridge ; New York : Cambridge University Press, 2011.
主題:
オンライン・アクセス:An electronic book accessible through the World Wide Web; click to view
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
目次:
  • 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.