Login / Signup

Almost everywhere equivalence of logics in finite model theory.

Lauri HellaPhokion G. KolaitisKerkko Luosto
Published in: Bull. Symb. Log. (1996)
Keyphrases
  • finite model theory
  • database theory
  • expressive power
  • modal logic
  • normal form
  • databases
  • database design
  • incomplete information
  • proof theory