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