Zero-One Laws for Modal Logic

Joseph Y. Halpern Bruce M. Kapron

Published in: LICS (1992)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
classical logic
default logic
situation calculus
dynamic logic
conditional logic
epistemic logic
prime implicates
machine learning
multi agent
programming language
modal operators