Abstract
A definition of the concept of “Intuitionist Modal Analogue” is presented and motivated through the existence of a theorem preserving translation fromMIPC (see [2]) to a bimodalS 4–S5 calculus.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
R. A. Bull,A modal extension of intuitionistic logic,Notre Dame Journal of Formal Logic, Vol. 6, No. 2 (1965), pp. 142–146.
—,MIPC as the formalization of an intuitionist concept of modality,Journal of Symbolic Logic, Vol. 31, No. 4 (1966), pp. 609–616.
R. A. Bull,Some modal calculi based on IC, inFormal systems and recursice functions (eds,J. N. Crossley andA. E. Dummet), North-Holland, 1966.
G. Fischer Servi,Un'algebraizzazione del calcolo intuizionista monadico, to appear inMatematiche (Catania).
M. Fitting,Logics with several modal operators,Theoria 35 (1969), pp. 259–266.
P. R. Halmos,Algebraic logic. New York, 1962.
E. J. Lemmon,Algebraic semantics for modal logics I,Journal of Symbolic Logic, Vol. 31, No. 1 (1966), pp. 46–65.
—,Algebraic semantics for modal logics II,Journal of Symbolic Logic, Vol. 31, No. 2 (1966), pp. 191–218.
H. Rasiowa andR. Sikorski,The mathematics of metamathematics, PWN, Warsaw, 1963.
Additional information
Allatum est die 9 Septembris 1975
Rights and permissions
About this article
Cite this article
Fischer Servi, G. On modal logic with an intuitionistic base. Stud Logica 36, 141–149 (1977). https://doi.org/10.1007/BF02121259
Issue Date:
DOI: https://doi.org/10.1007/BF02121259