Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.

Published in: Math. Log. Q. (1981)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
nonmonotonic logics
prime implicates
model checking
conditional logic
epistemic logic
situation calculus
default logic
horn clauses
explanation based generalization
dynamic logic
artificial intelligence
bayesian networks