This fourth volume of the book series combines propositional logic
and R-calculus for a new point of view to consider belief
revision. It gives the R-calculi for propositional logic,
description logics, propositional modal logic, logic programming,
⇝-propositional logic, semantic networks, and three-valued logic,
etc.. Applications of R-calculus in logic of
supersequents are also given. This book offers a rich blend
of theory and practice. It is suitable for students, researchers
and practitioners in the field of logic.
General
Imprint: |
Springer Verlag, Singapore
|
Country of origin: |
Singapore |
Series: |
Perspectives in Formal Induction, Revision and Evolution |
Release date: |
March 2023 |
Firstpublished: |
2023 |
Authors: |
Wei Li
• Yuefei Sui
|
Dimensions: |
235 x 155mm (L x W) |
Format: |
Hardcover
|
Pages: |
252 |
Edition: |
1st ed. 2023 |
ISBN-13: |
978-981-19-8632-1 |
Categories: |
Books
|
LSN: |
981-19-8632-0 |
Barcode: |
9789811986321 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!