Generalized S2-like systems of propositional modal logic.

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

Keyphrases

modal logic
temporal logic
default logic
prime implicates
artificial intelligence
knowledge based systems
decision procedures
expert systems
computer systems
inference rules
propositional logic
nonmonotonic logics
case based reasoning
epistemic logic
explanation based generalization