We study the modal properties of intuitionistic modal logics that belong to the provability logic or the preservativity logic of Heyting Arithmetic. We describe the □-fragment of some preservativity logics and we present fixed point theorems for the logics iL and iPL, and show that they imply the Beth property. These results imply that the fixed point theorem and the Beth property hold for both the provability and preservativity logic of Heyting Arithmetic. We present a frame correspondence result for the preservativity principle Wp that is related to an extension of Löb's principle. © 2005 Oxford University Press.
CITATION STYLE
Iemhoff, R., De Jongh, D., & Zhou, C. (2005). Properties of intuitionistic provability and preservativity logics. In Logic Journal of the IGPL (Vol. 13, pp. 615–636). Oxford University Press. https://doi.org/10.1093/jigpal/jzi047
Mendeley helps you to discover research relevant for your work.