Lecture Notes in Logic: Series Number 9 Bounded Variable Logics and Counting: A Study in Finite Models

Lecture Notes in Logic: Series Number 9 Bounded Variable Logics and Counting: A Study in Finite Models

By: Martin Otto (author)Hardback

Special OrderSpecial Order item not currently available. We'll try and order for you.

Description

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.

About Author

Martin Otto works in the Department of Mathematics at Rheinisch-Westfalische Technische Hochschule, Aachen, Germany.

Contents

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

Product Details

  • ISBN13: 9781107167940
  • Format: Hardback
  • Number Of Pages: 193
  • ID: 9781107167940
  • weight: 400
  • ISBN10: 1107167949

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close