• 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
Neighborhood Semantics for Modal Logic

Neighborhood Semantics for Modal Logic

Paperback

Series: Short Textbooks in Logic

FictionGeneral ComputersLogic

ISBN10: 3319671480
ISBN13: 9783319671482
Publisher: Springer Nature
Published: Nov 23 2017
Pages: 154
Weight: 0.54
Height: 0.36 Width: 6.14 Depth: 9.21
Language: English
Provides both the relevant technical background and an overview of the key applications of neighborhood semantics in modal logic Introduces the main techniques for reasoning about neighborhood structures with a modal language Highlights the most convincing applications of neighborhood semantics for modal logic Includes applications such as coalitional logic, game logic, dynamic logics of belief and evidence, subset space logic, and first-order extensions Explains the precise relationship between neighborhood models and relational models, topological models, plausibility models, and (two-sorted) first-order logic

Also in

Logic