Krister Segerberg on Logic of Actions

Nonfiction, Religion & Spirituality, Philosophy, Logic, Computers, Programming
Cover of the book Krister Segerberg on Logic of Actions by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789400770461
Publisher: Springer Netherlands Publication: October 22, 2013
Imprint: Springer Language: English
Author:
ISBN: 9789400770461
Publisher: Springer Netherlands
Publication: October 22, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Netherlands

Cover of the book South American and Antarctic Continental Cenozoic Birds by
Cover of the book Yearbook of Morphology 1995 by
Cover of the book Automating the Analysis of Spatial Grids by
Cover of the book Material Ethics of Value: Max Scheler and Nicolai Hartmann by
Cover of the book Geology and Mineral Resources of West Africa by
Cover of the book Controlling Automated Manufacturing Systems by
Cover of the book Prevention of Skin Cancer by
Cover of the book Advances in X-Ray Contrast by
Cover of the book Politics and Belief in Contemporary France by
Cover of the book World Views and the Problem of Synthesis by
Cover of the book Models of Man by
Cover of the book IT Convergence and Services by
Cover of the book The Demography of Health and Health Care (second edition) by
Cover of the book Lake Biwa: Interactions between Nature and People by
Cover of the book The Ecology of Temporary Waters by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy