Switch to: References

Add citations

You must login to add citations.
  1. Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
    We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Many-valued modal logics II.Melvin Fitting - unknown
    Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible — in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common modal (...)
     
    Export citation  
     
    Bookmark   32 citations  
  • Many-valued modal logics: A simple approach: Many-valued modal logics: A simple approach.Graham Priest - 2008 - Review of Symbolic Logic 1 (2):190-203.
    1.1 In standard modal logics, the worlds are 2-valued in the following sense: there are 2 values that a sentence may take at a world. Technically, however, there is no reason why this has to be the case. The worlds could be many-valued. This paper presents one simple approach to a major family of many-valued modal logics, together with an illustration of why this family is philosophically interesting.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations