Bounded Variable Logics and Counting A Study in Finite Models |
|
Author:
| Otto, Martin |
Series title: | Lecture Notes in Logic Ser. |
ISBN: | 978-1-107-16794-0 |
Publication Date: | Mar 2017 |
Publisher: | Cambridge University Press
|
Book Format: | Hardback |
List Price: | USD $135.00 |
Book Description:
|
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.