A Modal Logic for Discretely Descending Chains of Sets.

Bernhard Heinemann

Published in: Stud Logica (2004)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
conditional logic
epistemic logic
situation calculus
nonmonotonic logics
classical logic
explanation based generalization
prime implicates
default logic
autoepistemic logic
dynamic logic
machine learning
cooperative
bayesian networks