Alternating Set Quantifiers in Modal Logic.

Published in: CoRR (2016)

Keyphrases

modal logic
small number
data sets
inference rules
explanation based generalization
neural network
knowledge base
higher order
user defined
default logic
epistemic logic