Switch to: Citations

Add references

You must login to add references.
  1. Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
    Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form.This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. These structures generalize Kripke structures but are two-sorted, containing both worlds and co-worlds. These latter points (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  • Negation in the Context of Gaggle Theory.J. Michael Dunn & Chunlai Zhou - 2005 - Studia Logica 80 (2):235-264.
    We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that has a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations