Switch to: Citations

Add references

You must login to add references.
  1. An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • A new proof of Sahlqvist's theorem on modal definability and completeness.G. Sambin & V. Vaccaro - 1989 - Journal of Symbolic Logic 54 (3):992-999.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • The McKinsey axiom is not canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.
    Download  
     
    Export citation  
     
    Bookmark   15 citations