First-Order Definability on Finite Structures.

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

first order logic
higher order
finite model theory
linear temporal logic
finitely representable
propositional logic
data sets
databases
artificial intelligence
information systems
data structure
finite number