Login / Signup

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.

Mikhail Rybakov
Published in: Log. J. IGPL (2024)
Keyphrases
  • modal logic
  • inference rules
  • decision procedures
  • temporal logic
  • classical logic
  • situation calculus
  • nonmonotonic logics
  • epistemic logic
  • default logic
  • description logics
  • dynamic programming
  • incomplete information