Decidability of Quasi-Dense Modal Logics.

Piotr Ostropolski-Nalewaja Tim S. Lyon

Published in: CoRR (2024)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
description logics
nonmonotonic logics
epistemic logic
theorem proving
situation calculus
model checking
default logic
automated reasoning
real time
image matching