Israel Journal of Mathematics

, Volume 54, Issue 1, pp 14–24 | Cite as

Modal logics with several operators and provability interpretations

  • Tim Carlson


The results herein solve positively some conjectures of Smoryński by generalizing results of Solovay (1976). The proofs rest on a modification of the usual semantics for modal logic and Solovay’s techniques.


Induction Hypothesis Modal Logic Order Theory Kripke Model Modus Ponens 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Boolos,Friedman’s 35th problem has an affirmative solution, Abstract 75T-E66 Notices Amer. Math. Soc.22 (1975), A-646.Google Scholar
  2. 2.
    H. Friedman,One hundred and two problems in mathematical logic, J. Symb. Logic40 (1975), 113–129.MATHCrossRefGoogle Scholar
  3. 3.
    M. H. Löb,Solution of a problem of Leon Henkin, J. Symb. Logic20 (1955), 115–118.MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    J. R. Shoenfield,Mathematical Logic, Addison-Wesley, 1967.Google Scholar
  5. 5.
    C. Smoryński,The incompleteness theorems, inThe Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland, 1977, pp. 821–865.Google Scholar
  6. 6.
    R. Solovay,Probability interpretations in modal logic, Isr. J. Math.25 (1976), 287–304.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Hebrew University 1986

Authors and Affiliations

  • Tim Carlson
    • 1
  1. 1.The Ohio State UniversityColumbusUSA

Personalised recommendations