ε-calculus based axiom systems for some propositional modal logics.

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

Keyphrases

modal logic
inference rules
default logic
temporal logic
decision procedures
sequent calculus
epistemic logic
artificial intelligence
expert systems
first order logic
bayesian networks
natural language
dynamic programming
classical logic
nonmonotonic logics
conditional logic