Overview
- Offers a systematic study of Segerberg‘s works on logic of actions
- Presents a detailed analysis of the use of formal methods in the domain of real and doxastic actions
- Covers relations between actions, intentions and routines, and explores belief revision and update, dynamic doxastic logic and hypertheories
Part of the book series: Outstanding Contributions to Logic (OCTR, volume 1)
Buy print copy
About this book
This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories.
Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book.
Similar content being viewed by others
Keywords
Table of contents (13 chapters)
-
Part I
-
Part II
Reviews
From the book reviews:
“This book is on the contributions of Krister Segerberg. … A graduate student in the area of logic or in artificial intelligence will find a wealth of material here.” (K. Lodaya, Computing Reviews, June, 2014)
Editors and Affiliations
Bibliographic Information
Book Title: Krister Segerberg on Logic of Actions
Editors: Robert Trypuz
Series Title: Outstanding Contributions to Logic
DOI: https://doi.org/10.1007/978-94-007-7046-1
Publisher: Springer Dordrecht
eBook Packages: Humanities, Social Sciences and Law, Philosophy and Religion (R0)
Copyright Information: Springer Science+Business Media Dordrecht 2014
Hardcover ISBN: 978-94-007-7045-4Published: 05 November 2013
Softcover ISBN: 978-94-024-0197-4Published: 23 August 2016
eBook ISBN: 978-94-007-7046-1Published: 22 October 2013
Series ISSN: 2211-2758
Series E-ISSN: 2211-2766
Edition Number: 1
Number of Pages: XXIX, 335
Number of Illustrations: 40 illustrations in colour
Topics: Logic, Logics and Meanings of Programs, Philosophy of Mind