Publications

Zero-one laws for modal logic

• • Joseph Y. Halpern
  • Bruce M. Kapron
• 1992
• LICS 1992