Editors:
- 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 it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 chapters)
-
Front Matter
-
Part I
-
Front Matter
-
-
Part II
-
Front Matter
-
-
Back Matter
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.
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
-
The John Paul II Catholic University of, Lublin, Poland
Robert Trypuz
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