• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Hardcover

FictionHistory & Philosophy of ScienceLogic

ISBN10: 3319896520
ISBN13: 9783319896526
Publisher: Springer
Published: Nov 14 2018
Pages: 335
Weight: 1.52
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics.

1 different editions

Also available

Also in

Fiction