The modal logic of Reverse Mathematics.

Carl Mummert Alaeddine Saadaoui Sean Sovine

Published in: Arch. Math. Log. (2015)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
computer science
nonmonotonic logics
epistemic logic
situation calculus
conditional logic
prime implicates
machine learning
autoepistemic logic
explanation based generalization
machine translation
sequent calculus