Switch to: Citations

Add references

You must login to add references.
  1. Logical atomism, nominalism, and modal logic.Nino Cocchiarella - 1975 - Synthese 31 (1):23 - 62.
    While operators for logical necessity and possibility represent "internal" conditions of propositions (or of their corresponding states of affairs), These conditions will be "formal", As is required by logical atomism, And not "material" in content if from the (pseudo) semantical point of view the modal operators range over "all the possible worlds" of a logical space rather than over arbitrary non-Empty sets of worlds (as is usually done in modal logic). Some of the implications of this requirement are noted and (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   271 citations  
  • An undecidable two sorted predicate calculus.A. B. Slomson - 1969 - Journal of Symbolic Logic 34 (1):21-23.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.
    Download  
     
    Export citation  
     
    Bookmark   132 citations  
  • Sufficient conditions for the undecidability of intuitionistic theories with applications.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (2):375-384.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus.V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 67--69.
    Download  
     
    Export citation  
     
    Bookmark   2 citations