Properties of intuitionistic provability and preservativity logics

9Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free