Login / Signup

First-Order Resolution Methods for Modal Logics.

Renate A. SchmidtUllrich Hustadt
Published in: Programming Logics (2013)
Keyphrases
  • modal logic
  • decision procedures
  • significant improvement
  • temporal logic
  • higher order
  • first order logic
  • inference rules
  • default logic
  • nonmonotonic logics