Ecumenical Modal Logic.

Sonia Marin Luiz Carlos Pereira Elaine Pimentel Emerson Sales

Published in: DaLí (2020)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
classical logic
nonmonotonic logics
conditional logic
default logic
explanation based generalization
machine learning
situation calculus
desirable properties
autoepistemic logic
cooperative
sequent calculus
knowledge base