Decidability of Quasi-Dense Modal Logics.

Tim Lyon Piotr Ostropolski-Nalewaja

Published in: LICS (2024)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
description logics
nonmonotonic logics
situation calculus
default logic
query answering
ground truth
single image
theorem proving
dynamic programming
post processing