Login / Signup

Rewrite Rule Systems for Modal Propositional Logic.

Annie Foret
Published in: ALP (1988)
Keyphrases
  • propositional logic
  • first order logic
  • nonmonotonic logics
  • belief revision
  • knowledge based systems
  • orders of magnitude
  • possibilistic logic
  • propositional formulas
  • truth maintenance systems