R-Calculus, IV: Propositional Logic

This book combines propositional logic and R-calculus to consider belief revision, providing R-calculi for various logics and applications in logic of supersequents. It is suitable for students, researchers, and practitioners.

Format: Hardback
Length: 252 pages
Publication date: 29 March 2023
Publisher: Springer Verlag, Singapore

This fourth volume in the book series seamlessly integrates propositional logic and R-calculus, offering a novel perspective on belief revision. It presents comprehensive R-calculi for various branches of logic, including propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic. Moreover, it delves into the applications of R-calculus in the realm of logic of supersequents, providing valuable insights into this area.

The book is designed to cater to a diverse audience, including students, researchers, and practitioners in the field of logic. Its comprehensive coverage and clear explanations make it an invaluable resource for anyone seeking to deepen their understanding of these subjects. Whether you are a beginner or an experienced professional, this book will provide you with the tools and knowledge necessary to excel in your logic-related endeavors.

With its rich theoretical foundations and practical applications, this book offers a comprehensive and engaging exploration of the world of logic. It is a must-read for anyone interested in advancing their knowledge in this field.

Weight: 571g
Dimension: 235 x 155 (mm)
ISBN-13: 9789811986321
Edition number: 1st ed. 2023