##
**Coherent systems.**
*(English)*
Zbl 1061.03002

Studies in Logic and Practical Reasoning 2. Amsterdam: Elsevier (ISBN 0-444-51789-8/hbk). xx, 447 p. (2004).

In this interesting, yet not easy book, preferential and related models for nonmonotonic logical systems are studied. It is argued that several types of human common-sense reasoning are based on a few semantical concepts like preference, size, and distance. A number of representation theorems for these forms of reasoning are established. The problem of absence of finite representation is discussed as well. A possible uniform modal framework is proposed for the forms of nonmonotonic reasoning considered. Although the book is based on the papers published earlier by the author, it contains a number of new results as well.

Reviewer: Anna Gomolińska (Bialystok)

### MSC:

03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |

03B60 | Other nonclassical logic |

68T27 | Logic in artificial intelligence |

03C90 | Nonclassical models (Boolean-valued, sheaf, etc.) |