Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 , pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp [Book Review]

Journal of Symbolic Logic 63 (1):329-331 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

original Dawar, Anuj (1998) "Review: Martin Otto, Bounded Variable Logics and Counting. A Study in Finite Models". Journal of Symbolic Logic 63(1):329-331

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,141

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2014-03-29

Downloads
27 (#685,418)

6 months
3 (#1,429,962)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references