Order:
  1.  32
    Modal Sequents and Definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
    The language of propositional modal logic is extended by the introduction of sequents. Validity of a modal sequent on a frame is defined, and modal sequent-axiomatic classes of frames are introduced. Through the use of modal algebras and general frames, a study of the properties of such classes is begun.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  3
    Zero-One Laws for Modal Logic (Vol 69, Pg 157, 1994).Joseph Y. Halpern & Bruce M. Kapron - 1994 - Annals of Pure and Applied Logic 121 (2-3):281-283.
    We show that a 0–1 law holds for propositional modal logic, both for structure validity and frame validity. In the case of structure validity, the result follows easily from the well-known 0–1 law for first-order logic. However, our proof gives considerably more information. It leads to an elegant axiomatization for almost-sure structure validity and to sharper complexity bounds. Since frame validity can be reduced to a Π11 formula, the 0–1 law for frame validity helps delineate when 0–1 laws exist for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  4
    Erratum to “Zero-One Laws for Modal Logic” [Ann. Pure Appl. Logic 69 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.