First order logic, fixed point logic and linear order
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 161-177
- https://doi.org/10.1007/3-540-61377-3_37
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Fixpoint logic vs. infinitary logic in finite-model theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Expressive Power of Finitely Many Generalized QuantifiersInformation and Computation, 1995
- Infinitary Logic and Inductive Definability over Finite StructuresInformation and Computation, 1995
- Computing with First-Order LogicJournal of Computer and System Sciences, 1995
- Datalog extensions for database queries and updatesJournal of Computer and System Sciences, 1991
- On uniformity within NC1Journal of Computer and System Sciences, 1990
- Definability with bounded number of bound variablesInformation and Computation, 1989
- Relational queries computable in polynomial timeInformation and Control, 1986
- Toward logic tailored for computational complexityLecture Notes in Mathematics, 1984
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982