Title:
|
R-CALCULUS: A LOGIC OF BELIEF REVISION
|
By: |
Wei Li |
Format: |
Paperback / softback |
List price:
|
£89.99 |
Our price: |
£78.74 |
Discount: |
|
You save:
|
£11.25 |
|
|
|
|
ISBN 10: |
9811629463 |
ISBN 13: |
9789811629464 |
Availability: |
Usually dispatched within 1-3 weeks.
Delivery
rates
|
Stock: |
Currently 0 available |
Publisher: |
SPRINGER VERLAG, SINGAPORE |
Pub. date: |
3 November, 2022 |
Edition: |
1st ed. 2021 |
Series: |
Perspectives in Formal Induction, Revision and Evolution |
Pages: |
200 |
Description: |
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). |
Illustrations: |
1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus. in color. |
Returns: |
Returnable |