Germany

License single eBooks

Your results

Advanced search

Search and filter

Free text

Search across titles, authors, ISBNs, and more

ISBNs

Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break

You've reached the limit of 1000 ISBN numbers

Subjects

SN’s own taxonomy

Search for subjects

No results found. Try again with another term.

0 selected out of 0 items

Show All Selected

Download list (.CSV)

View Cart

Neighborhood Semantics for Modal Logic

Eric Pacuit

978-3-319-67149-9

2017
Edition 1
- 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
- Includes supplementary material: sn.pub/extras
€419

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.