Switch to: References

Add citations

You must login to add citations.
  1. On modal logic with an intuitionistic base.Gisèle Fischer Servi - 1977 - Studia Logica 36:141.
    A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  • First-order indefinite and uniform neighbourhood semantics.Arnold Vander Nat - 1979 - Studia Logica 38 (3):277-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Investigations into quantified modal logic.Zane Parks - 1976 - Studia Logica 35:109.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations