On the Expressive Power of Logics on Finite Models (2003)
by
Phokion G. Kolaitis
| Citations: | 1 - 0 self |
BibTeX
@MISC{Kolaitis03onthe,
author = {Phokion G. Kolaitis},
title = {On the Expressive Power of Logics on Finite Models},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Structures" [Mos74], where they are called inductive relations. It should also be pointed out that in Immerman's book on "Descriptive Complexity" LFP is denoted by FO(LFP) (the closure of FO under least fixed-points) and LFP 1 is denoted by LFP(FO) (least fixed-points of first-order formulas).
