We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
First-order logics: some characterizations and closure properties.
- Authors
Choffrut, Christian; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
- Abstract
The characterization of the class of FO[+]-definable languages by some generating or recognizing device is still an open problem. We prove that, restricted to word bounded languages, this class coincides with the class of semilinear languages. We also study the closure properties of the classes of languages definable in FO[+1], FO[<], FO[+] and FOC[+] under the main classical operations.
- Subjects
FIRST-order logic; MODERN logic; COINCIDENCE theory; MATHEMATICAL models; PROGRAMMING languages; MATHEMATICAL proofs
- Publication
Acta Informatica, 2012, Vol 49, Issue 4, p225
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-012-0157-z