Switch to: Citations

Add references

You must login to add references.
  1. Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Identity and Existence in Intuitionistic Logic.Dana Scott, M. P. Fourman, C. J. Mulvey & D. S. Scott - 1985 - Journal of Symbolic Logic 50 (2):548-549.
    Download  
     
    Export citation  
     
    Bookmark   21 citations