Outstanding Contributions to Logic

Krister Segerberg on Logic of Actions

Editors: Trypuz, Robert (Ed.)

  • 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
see more benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-94-007-7046-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-94-007-7045-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: October 6, 2016
  • ISBN 978-94-024-0197-4
  • Free shipping for individuals worldwide
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)


Table of contents (13 chapters)

  • Krister Segerberg’s Philosophy of Action

    Thomason, Richmond H.

    Pages 3-23

  • The Concept of a Routine in Segerberg’s Philosophy of Action

    Elgesem, Dag

    Pages 25-39

  • On the Reconciliation of Logics of Agency and Logics of Event Types

    Broersen, Jan

    Pages 41-59

  • Three Traditions in the Logic of Action: Bringing them Together

    Herzig, Andreas (et al.)

    Pages 61-84

  • Deontic Logics Based on Boolean Algebra

    Castro, Pablo F. (et al.)

    Pages 85-117

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-94-007-7046-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA
  • ISBN 978-94-007-7045-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: October 6, 2016
  • ISBN 978-94-024-0197-4
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Krister Segerberg on Logic of Actions
Editors
  • Robert Trypuz
Series Title
Outstanding Contributions to Logic
Series Volume
1
Copyright
2014
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-94-007-7046-1
DOI
10.1007/978-94-007-7046-1
Hardcover ISBN
978-94-007-7045-4
Softcover ISBN
978-94-024-0197-4
Series ISSN
2211-2758
Edition Number
1
Number of Pages
XXIX, 335
Number of Illustrations and Tables
40 illustrations in colour
Topics