Login / Signup

Counting to infinity: Graded Modal Logic with an infinity Diamond.

Ignacio Bellas AcostaYde Venema
Published in: Rev. Symb. Log. (2024)
Keyphrases
  • modal logic
  • temporal logic
  • decision procedures
  • inference rules
  • epistemic logic
  • default logic
  • dynamic logic
  • situation calculus
  • nonmonotonic logics
  • classical logic
  • conditional logic
  • np complete