Login / Signup

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).

Carlos ArecesDaniel Gorín
Published in: J. Appl. Log. (2010)
Keyphrases
  • normal form
  • modal logic
  • database design
  • prime implicates
  • formal definitions
  • database
  • functional dependencies
  • decision procedures
  • database theory
  • knowledge base
  • object oriented
  • relational algebra
  • classical logic