Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • .E. J. Lemmon - 1966
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (1 other version)On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A note on Halldén-incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
    We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)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   8 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  
  • 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