Zero-One Laws for Modal Logic.

Joseph Y. Halpern Bruce M. Kapron

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
dynamic logic
explanation based generalization
artificial intelligence
multi agent systems
prime implicates