Abstract
This paper is a comparative study of the propositional intuitionistic (non-modal) and classical modal languages interpreted in the standard way on transitive frames. It shows that, when talking about these frames rather than conventional quasi-orders, the intuitionistic language displays some unusual features: its expressive power becomes weaker than that of the modal language, the induced consequence relation does not have a deduction theorem and is not protoalgebraic. Nevertheless, the paper develops a manageable model theory for this consequence and its extensions which also reveals some unexpected phenomena. The balance between the intuitionistic and modal languages is restored by adding to the former one more implication.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Amerbauer, M., 1996, “Cut-free tableau calculi for some propositional normal modal logics,” Studia Logica 57, 359–371.
Ardeshir, M. and Ruitenburg, W., 1995, “Basic propositional calculus, I,” Technical Report 418, Department of Mathematics, Statistics and Computer Science, Marquette University.
Artemov, S.N., 1995, “Operational modal logic,” Technical Report 9529, MSI, Cornell University.
Blok, W. and Pigozzi, D., 1986, “Protoalgebraic logics,” Studia Logica 45, 337–369.
Blok, W. and Pigozzi, D., 1989, Algebraizable Logics, Memoirs of the American Mathematical Society, Vol. 77, Providence, RI: AMS.
Blok, W.J., 1976, “Varieties of interior algebras,” Ph.D. Thesis, University of Amsterdam.
Boolos, G., 1980, “On systems of modal logic with provability interpretations,” Theoria 46, 7–18.
Chagrov, A.V. and Zakharyaschev, M.V., 1997, Modal Logic, Oxford: Oxford University Press.
Corsi, G., 1987, “Weak logics with strict implication,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, 389–406.
Do¡sen, K., 1993, “Modal translations in K and D,” pp. 103–127 in Diamonds and Defaults, M. de Rijke, ed., Dordrecht: Kluwer Academic Publishers.
Esakia, L.L., 1979, “On varieties of Grzegorczyk algebras,” pp. 257–287 in Studies in Nonclassical Logics and Set Theory, A.I. Mikhailov, ed., Moscow: Nauka [in Russian].
Gödel, K., 1933, “Eine Interpretation des intuitionistischen Aussagenkalküls,” Ergebnisse eines mathematischen Kolloquiums 4, 39–40.
Goldblatt, R.I., 1976, “Metamathematics of modal logic, Part I,” Reports on Mathematical Logic 6, 41–78.
Goldblatt, R.I., 1978, “Arithmetical necessity, provability and intuitionistic logic,” Theoria 44, 38–46.
Kuznetsov, A.V., 1985, “Proof-intuitionistic propositional calculus,” Doklady Academii Nauk SSSR 283, 27–30 [in Russian].
Kuznetsov, A.V. and Muravitskij, A.Yu., 1980, “Provability as modality,” pp. 193–230 in Actual Problems of Logic and Methodology of Science, Kiev: Naukova Dumka [in Russian].
Kuznetsov, A.V. and Muravitskij, A.Yu., 1986, “On superintuitionistic logics as fragments of proof logic extensions,” Studia Logica 45, 77–99.
Maksimova, L.L. and Rybakov, V.V., 1974, “Lattices of modal logics,” Algebra and Logic 13, 105–122.
Orlov, I.E., 1928, “The calculus of compatibility of propositions,” Mathematics of the USSR, Sbornik 35, 263–286 [in Russian].
Rasiowa, H. and Sikorski, R., 1963, The Mathematics of Metamathematics, Warsaw: Polish Scientific Publishers.
Rautenberg, W., 1979, Klassische und nichtklassische Aussagenlogik, BraunschweigWiesbaden: Vieweg.
Ruitenburg, W., 1992, “Basic logic and Fregean set theory,” Technical Report 374, Department of Mathematics, Statistics and Computer Science, Marquette University.
Rybakov, V.V., 1984, “A criterion for admissibility of rules in the modal system S4 and intuitionistic logic,” Algebra and Logic 23, 369–384.
Smoryński, C., 1985, Self-reference and Modal Logic, Heidelberg and New York: Springer-Verlag.
Visser, A., 1981, “A propositional logic with explicit fixed points,” Studia Logica 40, 155–175.
Wansing, H., 1997, “Displaying as temporalizing. Sequent systems for subintuitionistic logics,” pp. 159–178 in Logic, Language and Computation, Seiki Akama, ed., Dordrecht: Kluwer Academic Publishers.
Wolter, F. and Zakharyaschev, M., 1997a, “On the relation between intuitionistic and classical modal logics,” Algebra and Logic 36 (2), 73–92.
Wolter, F. and Zakharyaschev, M., 1997b, “Intuitionistic modal logics as fragments of classical bimodal logics,” in Logic at Work, E. Orlowska, ed., Dordrecht: Kluwer Academic Publishers, in press.
Yashin, A.D., 1997, “Irreflexive modality in intuitionistic propositional logic and Novikov completeness,” Journal of Philosophical Logic, to appear.
Zakharyaschev, M.V., 1992, “Canonical formulas for K4. Part I: Basic results,” Journal of Symbolic Logic 57, 1377–1402.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Suzuki, Y., Wolter, F. & Zakharyaschev, M. Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7, 317–339 (1998). https://doi.org/10.1023/A:1008237600846
Issue Date:
DOI: https://doi.org/10.1023/A:1008237600846