Login / Signup

Tableaus for many-valued modal logic.

Melvin Fitting
Published in: Stud Logica (1995)
Keyphrases
  • modal logic
  • temporal logic
  • decision procedures
  • inference rules
  • epistemic logic
  • nonmonotonic logics
  • classical logic
  • default logic
  • conditional logic
  • dynamic logic
  • situation calculus
  • model checking
  • prime implicates