Switch to: Citations

Add references

You must login to add references.
  1. Canonicity for intensional logics without iterative axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
    David Lewis proved in 1974 that all logics without iterative axioms are weakly complete. In this paper we extend Lewis's ideas and provide a proof that such logics are canonical and so strongly complete. This paper also discusses the differences between relational and neighborhood frame semantics and poses a number of open questions about the latter.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Decision Procedures for Lewis System S1 and Related Modal Systems.Anjan Shukla - 1972 - Journal of Symbolic Logic 37 (4):754-755.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Remarks on the semantics of non-normal modal logics.Peter K. Schotch - 1984 - Topoi 3 (1):85-90.
    The standard semantics for sentential modal logics uses a truth condition for necessity which first appeared in the early 1950s. in this paper the status of that condition is investigated and a more general condition is proposed. in addition to meeting certain natural adequacy criteria, the more general condition allows one to capture logics like s1 and s0.9 in a way which brings together the work of segerberg and cresswell.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • $S_1\not=S0.9$.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16 (3):339-344.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The completeness of $S1$ and some related systems.Max J. Cresswell - 1972 - Notre Dame Journal of Formal Logic 13 (4):485-496.
  • Intensional logics without interative axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.
  • New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
  • New Foundations for Lewis Modal Systems.E. J. Lemmon - 1958 - Journal of Symbolic Logic 23 (3):346-347.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  • S1 ΓΈ s0.9.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16:339.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The interpretation of some Lewis systems of modal logic.M. J. Cresswell - 1967 - Australasian Journal of Philosophy 45 (2):198 – 206.
  • The Interpretation of Some Lewis Systems of Modal Logic.M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (2):417-418.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations