Switch to: Citations

Add references

You must login to add references.
  1. Systems of modal logic which are not unreasonable in the sense of halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
    Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some failures of interpolation in modal logic.George F. Schumm - 1986 - Notre Dame Journal of Formal Logic 27 (1):108-110.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
    The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • The extensions of BAlt3 — revisited.Michael Byrd - 1978 - Journal of Philosophical Logic 7 (1):407 - 413.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The extensions of BAlt.David Ullrich & Michael Byrd - 1977 - Journal of Philosophical Logic 6 (1):109 - 117.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On interpolation and Halldén-completeness in next (ktb).Zofia Kostrzycka - 2012 - Bulletin of the Section of Logic 41 (1/2):23-32.
    Download  
     
    Export citation  
     
    Bookmark   2 citations