First Order Logic, Fixed Point Logic and Linear Order

@inproceedings{Dawar1995FirstOL,
  title={First Order Logic, Fixed Point Logic and Linear Order},
  author={Anuj Dawar and Steven Lindell and Scott Weinstein},
  booktitle={CSL},
  year={1995}
}
The Ordered conjecture of Kolaitis and Vardi asks whether xed point logic di ers from rst order logic on every in nite class of nite ordered structures In this paper we develop the tool of bounded variable element types and illustrate its application to this and the orig inal conjectures of McColm which arose from the study of inductive de nability and in… CONTINUE READING