1 option
Logic, information and agency / Johan van Benthem.
- Format:
- Book
- Author/Creator:
- Benthem, Johan van, 1949- author.
- Series:
- CSLI lecture notes ; number 232
- Language:
- English
- Subjects (All):
- Epistemic logic.
- Semantics (Philosophy).
- Information theory.
- Multiagent systems.
- Logic, Symbolic and mathematical.
- Physical Description:
- xii, 372 pages : illustrations ; 23 cm.
- Place of Publication:
- Stanford, California : CSLI Publications, [2025]
- Summary:
- "This is an introduction for readers with some basic knowledge of logic to contemporary logical analyses of information flow and multi-agent activity with an emphasis on new perspectives and new research directions. The first major topic are dynamic-epistemic logics for analyzing information dynamics and information update based on new observations, as well as the induced processes of knowledge change and belief revision. The second part of the book connects these dynamic-epistemic logics to richer mathematical models coming from dependence logic, topology and probability. In a third and final part, all these systems are brought to bear on the study of agency in games, bringing together logics for analyzing games and games for analyzing logics in one perspective. An appendix discusses a recent view on how qualitative logical and quantitative arithmetical approaches to reasoning can live together and inform each other. A further appendix summarizes the background in modal logic that is needed for this course"-- Provided by publisher.
- Contents:
- Semantic information and epistemic logic
- Basic dynamic logic of information update
- Logic of belief on plausibility models
- Belief change by hard and soft information
- Dynamic-epistemic logic of observation
- Dependence logic
- Topology and information
- Interfacing with probability
- Logics of extensive games
- Knowledge and powers in games
- Logics for strategic games and beyond
- Designing logic-related games
- A interleaving logic and arithmetic.
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 9780937073032
- 0937073032
- OCLC:
- 1482934481
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.