Switch to: References

Add citations

You must login to add citations.
  1. BI‐Modal Logic, Double‐Closure Algebras, and Hilbert Space.Jean E. Rubin - 1962 - Mathematical Logic Quarterly 8 (3‐4):305-322.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Truth-value stipulations for the Von Wright system m′ and the Heyting system.Akira Nakamura - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):173-183.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•
  • Truth‐value stipulations for the Von Wright system m′ and the Heyting system.Akira Nakamura - 1964 - Mathematical Logic Quarterly 10 (9‐12):173-183.
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•
  • Ein entscheidungsverfahren für den lewisschen modalkalkül S 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13‐15):193-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Ein Entscheidungsverfahren Für den Lewisschen Modalkalkül s 4.Rainer Krauskope - 1969 - Mathematical Logic Quarterly 15 (13-15):193-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • The free non-commutative cylindric algebras are not atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Model‐Theoretic Study of Some Systems Containing S3.R. I. Goldblatt - 1973 - Mathematical Logic Quarterly 19 (3‐6):75-82.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On McKinsey's syntatical characterizations of systems of modal logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations