Bounded Variable Logics and Counting: A Study in Finite Models

ISBN-13: 9781107167940 / Angielski / Twarda / 2017 / 193 str.

Martin Otto

Opis

This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.

Spis treści

Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindström extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.