Switch to: Citations

Add references

You must login to add references.
  1. On applications of truth-value connectives for testing arguments with natural connectives.Andrzej Pietruszczak - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):143-156.
    In introductory logic courses the authors often limit their considerations to the truth-value operators. Then they write that conditionals and biconditionals of natural language ("if" and "if and only if") may be represented as material implications and equivalences ("⊃" and "≡"), respectively. Yet material implications are not suitable for conditionals. Lewis' strict implications are much better for this purpose. Similarly, strict equivalences are better for representing biconditionals (than material equivalences). In this paper we prove that the methods from standard first (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • (1 other version)Les Systèmes Formalisés des Modalites Aristotéliciennes.Robert Feys - 1954 - Journal of Symbolic Logic 19 (4):292-293.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.
    We define prenormal modal logics and show that S1, S1, S0.9, and S0.9 are Lewis versions of certain prenormal logics, determination and decidability for which are immediate. At the end we characterize Cresswell logics and ponder C. I. Lewis's idea of strict implication in S1.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Decision procedure and semantics for C1, E1 and S0. 5◦.R. Routley - 1968 - Logique Et Analyse 44:468-469.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • S1 ø s0.9.Roderic A. Girle - 1975 - Notre Dame Journal of Formal Logic 16:339.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • QL-regular quantified modal logics.Maciej Nowicki - 2008 - Bulletin of the Section of Logic 37 (3/4):4.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi.Kenneth A. Bowen - 1983 - Studia Logica 42 (1):105-106.
    Download  
     
    Export citation  
     
    Bookmark   3 citations