A Simple Semi-automated Proof Assistant for First-order Modal Logics.

Published in: ARQNL@IJCAR (2018)

Keyphrases

semi automated
modal logic
decision procedures
fully automated
conditional logic
nonmonotonic logics
theorem proving
temporal logic
test bed
inference rules
classical logic
model theoretic
epistemic logic
multi agent
special case
higher order