Login / Signup

Terminating Calculi and Countermodels for Constructive Modal Logics.

Tiziano DalmonteCharles GrelloisNicola Olivetti
Published in: TABLEAUX (2021)
Keyphrases
  • modal logic
  • sequent calculi
  • temporal logic
  • decision procedures
  • inference rules
  • conditional logic
  • classical logic
  • nonmonotonic logics
  • epistemic logic
  • situation calculus
  • default logic
  • fuzzy logic