Ecumenical modal logic.

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales

Published in: CoRR (2020)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
classical logic
situation calculus
conditional logic
default logic
autoepistemic logic
dynamic logic
description logic alc
knowledge representation