On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures

One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtFra

• Type: Journal
• Year: 2010
• Where: LICS
• Authors: Yuguo He
• Keywords: Automated Reasoning, Finite Model Theory, LICS 2010, Model Theory, Quantifier Structure