Login / Signup

Propositional calculi of term satisfiability and process logics.

Robert Knast
Published in: Symposium on Computation Theory (1984)
Keyphrases
  • propositional logic
  • expressive power
  • modal logic
  • default logic
  • np complete
  • decision procedures
  • reasoning problems