Spectrum of FO Logic with Quantifier Depth 4 is Finite.
Yury YarovikovMaksim ZhukovskiiPublished in: ACM Trans. Comput. Log. (2024)
Keyphrases
- guarded fragment
- first order logic
- expressive power
- transitive closure
- quantifier elimination
- linear temporal logic
- depth map
- classical logic
- logic programming
- depth information
- predicate logic
- neural network
- relational model
- multi valued
- finite number
- fuzzy measures
- multi view
- logic programs
- asynchronous circuits
- proof theory
- data model
- high quality
- three dimensional