TY - BOOK ID - 85645435 TI - Bounded variable logics and counting PY - 2017 SN - 1316731553 1316745066 1316746992 1316754715 1316716872 1316748928 1107167949 9781316754719 131675278X 9781316752784 9781316716878 9781107167940 PB - Cambridge New York DB - UniCat KW - Model theory. KW - Logic, Symbolic and mathematical KW - Computational complexity. KW - Complexity, Computational KW - Electronic data processing KW - Machine theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:85645435 AB - Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory. ER -