References
Bernardi, C., Montagna, F.: Equivalence relations induced by extensional formulae. Fundam. Math.CXXIV, 221–233 (1984)
Boolos, G.: The unprovability of consistency. Cambridge: Cambridge University Press 1979
Carlson, T.: Modal logics with several operators and provability interpretations
De Jongh, D.H.J.: A simplification of a completeness proof of Guaspari and Solovay
De Jongh, D.H.J., Montagna, F.: Generic generalized Rosser fixed points
Guaspari, D.: Sentences implying their own provability. J. Symb. Logic48, 777–789 (1983)
Guaspari, D., Solovay, R.: Rosser sentences. Ann. Math. Logic16, 81–99 (1979)
Montagna, F.: On the diagonalizable algebra of Peano Arithmetic. Boll. Unione Mat. Ital. V. Ser.,B 16, 795–812 (1979)
Mostowski, A.: A generalization of the incompleteness theorem. Fundam. Math.49, 205–232 (1961)
Rosser, J.B.: Extensions of some theorems of Gödel and Church. J. Symb. Logic 87–91 (1936)
Sambin, G.: An effective fixed point theorem in intuitionistic diagonalizable algebras. Stud. Logica35, 345–361 (1976)
Shepherdson, J.: Representability of recursively enumerable sets in formal systems. Arch. F. Math. Logik5, 119–127 (1960)
Smorynski, C.: Bimodal logic and arithmetic
Smorynski, C.: Self reference and modal logic. Berlin Heidelberg New York Tokyo: Springer 1985
Smorynski, C.: Modal logic and self-reference. In Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic II. Dordrecht: Reidel 1984
Solovay, R.M.: Provability interpretations of modal logic. Isr. J. Math.25, 287–304 (1976)
Visser, A.: The provability logic of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic. J. Philos. Logic13 (1984)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Montagna, F., Sommaruga, G. Rosser and mostowski sentences. Arch Math Logic 27, 115–133 (1988). https://doi.org/10.1007/BF01620761
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01620761