Order:
Disambiguations
Bruce Kapron [5]Bruce M. Kapron [3]
  1.  83
    The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  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   3 citations  
  3.  11
    Mike Townsend. Complexity for Type-2 Relations. Notre Dame Journal of Formal Logic, Vol. 31 , Pp. 241–262.Bruce Kapron - 1993 - Journal of Symbolic Logic 58 (1):360.
  4.  19
    Zero-One Laws for Modal Logic.Joseph Y. Halpern & Bruce Kapron - 1994 - Annals of Pure and Applied Logic 69 (2-3):157-193.
    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  
  5.  5
    Zero-One Laws for Modal Logic (Vol 69, Pg 157, 1994).Joseph Y. Halpern & Bruce M. Kapron - 1994 - Annals of Pure and Applied Logic 69 (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  
  6.  9
    Review: Mike Townsend, Complexity for Type-2 Relations. [REVIEW]Bruce Kapron - 1993 - Journal of Symbolic Logic 58 (1):360-360.
  7.  4
    Erratum to “Zero-One Laws for Modal Logic” [Ann. Pure Appl. Logic 69 (1994) 157–193].Joseph Y. Halpern & Bruce M. Kapron - 2003 - Annals of Pure and Applied Logic 121 (2-3):281-283.