Positive (Modal) Logic Beyond Distributivity.

Nick Bezhanishvili Anna Dmitrieva Jim de Groot Tommaso Moraschini

Published in: CoRR (2022)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
positive and negative
epistemic logic
classical logic
conditional logic
formal semantics
nonmonotonic logics
explanation based generalization
machine learning
artificial intelligence
dynamic logic
prime implicates
sequent calculus