Login / Signup

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.

Serenella CerritoMarta Cialdea Mayer
Published in: IJCAR (2001)
Keyphrases
  • modal logic
  • decision procedures
  • temporal logic
  • rigid and non rigid
  • inference rules
  • nonmonotonic logics
  • epistemic logic
  • default logic
  • situation calculus
  • viewpoint
  • x ray
  • theorem proving