
Tell your friends about this item:
R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution 2023 edition
Wei Li
R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution 2023 edition
Wei Li
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..
252 pages, 1 Illustrations, color; 1 Illustrations, black and white; XIII, 252 p. 2 illus., 1 illus.
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | March 29, 2023 |
ISBN13 | 9789811986321 |
Publishers | Springer Verlag, Singapore |
Pages | 252 |
Dimensions | 571 g |