Switch to: References

Add citations

You must login to add citations.
  1. Simplified Kripke style semantics for some very weak modal logics.Andrzej Pietruszczak - 2009 - Logic and Logical Philosophy 18 (3-4):271-296.
    In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these logics, formulated by means of Kripke style models of the form , where w is a «distinguished» world, A is a set of worlds which are alternatives to w, and V is a valuation which for formulae and worlds assigns the truth-vales such that: (i) for (...)
    Download  
     
    Export citation  
     
    Bookmark   6 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