The modal logic of beta(N).

Guram Bezhanishvili John Harding

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
conditional logic
default logic
situation calculus
classical logic
sequent calculus
beta distribution
machine learning
dynamic programming
prime implicates
explanation based generalization