Modal logics with two kinds of necessity and possibility.

Paul Weingartner

Published in: Notre Dame J. Formal Log. (1968)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
conditional logic
classical logic
dynamic logic
situation calculus
default logic
sequent calculus
bayesian networks
natural language
autoepistemic logic
artificial intelligence
machine learning