Zero-one laws for modal logic

DOI10.1016/0168-0072(94)90084-1zbMath0811.03012OpenAlexW2061689655MaRDI QIDQ1337692

Joseph Y. Halpern, Bruce M. Kapron

Publication date: 8 November 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90084-1

zbMATH Keywords

zero-one lawspropositional modal logicfragments of second-order logicframe validitystructure validity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13)

Related Items (1)

The complexity class θp2: Recent results and applications in AI and modal logic

This page was built for publication: Zero-one laws for modal logic