Switch to: Citations

Add references

You must login to add references.
  1. A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
    The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R – are improved and the relationship between R and R – is clarified.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • A Simplification of a Completeness Proof of Guaspari and Solovay.Dick H. J. de Jongh - 1987 - Studia Logica 46 (2):187-192.
    The modal completeness proofs of Guaspari and Solovay for their systems R and R⁻ are improved and the relationship between R and R⁻ is clarified.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-c4c498947-l59hv uwo