Switch to: References

Add citations

You must login to add citations.
  1. On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
    Let L be one of the intuitionistic modal logics considered in [4]. As in the classical modal case (see [7]), we define two different forms of the Beth property for L, which are denoted by B 1 and B 2 ; in this paper we study the relation among B 1 ,B 2 and the interpolation properties C 1 and C 2 , introduced in [4]. It turns out that C 1 implies B 1 , but contrary to the boolean (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark