Cargando…

Bounded variable logics and counting : a study in finite models /

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 publ...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Otto, Martin, 1961- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2017.
Colección:Lecture notes in logic ; 9.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (183 pages)
ISBN:9781316754719
1316754715
131675278X
9781316752784