Switch to: Citations

Add references

You must login to add references.
  1. Many‐Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Mathematical Logic Quarterly 34 (4):343-354.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Local and global operators and many-valued modal logics.Charles G. Morgan - 1979 - Notre Dame Journal of Formal Logic 20 (2):401-411.
    Download  
     
    Export citation  
     
    Bookmark   8 citations