Bounded Variable Logics and Counting: A Study in Finite Models

Author(s) Martin Otto

Lecture Notes Logic, 9: 183pp. (1997).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 9

183 pp.

Published: 1997

First available in Project Euclid: 23 February 2009

MathSciNet: MR1482523

ISBN: 3540620370

Subjects:

Primary: 03C13 , 03C75 , 03C80 , 03D15 , 68Q15 , 68Q25 , 68R05

Lecture Notes in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Martin Otto

Lecture Notes in Logic Vol. 9, - (1997). Open Access

Preface

Martin Otto

Lecture Notes in Logic Vol. 9, v-vi (1997). Open Access

Table of Contents

Martin Otto

Lecture Notes in Logic Vol. 9, vii-ix (1997). Open Access

Chapter 0: Introduction

Martin Otto

Lecture Notes in Logic Vol. 9, 1-14 (1997). Open Access

Chapter 1: Definitions and Preliminaries

Martin Otto

Lecture Notes in Logic Vol. 9, 15-49 (1997). Open Access

Chapter 2: The Games and Their Analysis

Martin Otto

Lecture Notes in Logic Vol. 9, 51-78 (1997). Open Access

Chapter 3: The Invariants

Martin Otto

Lecture Notes in Logic Vol. 9, 79-95 (1997). Open Access

Chapter 4: Fixed-Point Logic with Counting

Martin Otto

Lecture Notes in Logic Vol. 9, 97-114 (1997). Open Access

Chapter 5: Related Lindström Extensions

Martin Otto

Lecture Notes in Logic Vol. 9, 115-130 (1997). Open Access

Chapter 6: Canonization Problems

Martin Otto

Lecture Notes in Logic Vol. 9, 131-148 (1997). Open Access

Chapter 7: Canonization for Two Variables

Martin Otto

Lecture Notes in Logic Vol. 9, 149-175 (1997). Open Access

Bibliography

Martin Otto

Lecture Notes in Logic Vol. 9, 177-179 (1997). Open Access

Index

Martin Otto

Lecture Notes in Logic Vol. 9, 181-183 (1997). Open Access

Miscellaneous Backmatter

Martin Otto

Lecture Notes in Logic Vol. 9, - (1997). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS