Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Contact Us
[email protected]
© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

R-CALCULUS: A Logic of Belief Revision

By  Yuefei Sui

Usually dispatched within 3 - 5 business days.

In Stock (516)

£ 107.99

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).