The relation between intuitionistic and classical modal logics

Algebra and Logic

Volumn 36, Issue 2, 1997, Pages 73-92

  Wolter, F ^a   Zakharyaschev, M ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0007552587     PISSN: 00025232     EISSN: 15738302     Source Type: Journal    
DOI: 10.1007/BF02672476     Document Type: Article

References (29)

1. G. Amati and F. Pirri, "A uniform tableau method for intuitionistic modal logics. I," Studia Logica, 53, 29-60 (1994).
2. J. F. van Benthem, "Canonical modal logics and ultrafilte: extensions," J. Symb. Log., 44, 1-8 (1979).
3. J. F. van Benthem, Modal Logic and Classical Logic, Napoli (1983).
4. W. J. Blok, Varieties of Interior Algebras, University of Amsterdam (1976), Dissertation.
5. M. Božić and K. Došen, "Models for normal intuitionistic logics," Studia Logica, 43, 217-245 (1984).
6. A. V. Chagrov and M. V. Zakharyaschev, "Modal companions of intermediate propositional logics," Studia Logica, 51, 49-82 (1992).
7. A. V. Chagrov and M. V. Zakharyaschev, Modal and Superintuitionistic Logics, Oxford Univ. Press (1996).
8. M. A. E. Dummett and E. J. Lemmon, "Modal logics between S4 and S5," Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 5, 250-264 (1959).
9. L. L. Esakia, "On varieties of Grsegorczyk algebras," in Studies in Non-Classical Logics and Set Theory, Nauka, Moscow (1979), pp. 257-287.
10. W. B. Ewald, "Intuitionistic tense and modal logic," J. Symb. Log., 51, 166-179 (1986).
11. K. Fine, "Logics containing K4. II," J. Symb. Log., 50, 619-651 (1985).
12. K. Fine and G. Schurz, "Transfer theorems for stratified multimodal logics," in Logic and Reality. Essays in Pure and Applied Logic, J. Copeland (ed.), Oxford Univ. Press (1996), pp. 169-213.
13. G. Fischer Servi, "On modal logics with an intuitionistic base," Studia Logica, 36, 141-149 (1977).
14. G. Fischer Servi, "Semantics for a class of intuitionistic modal calculi," in Italian Studies in the Philosophy of Science, M. L. Dalla Chiara (ed.), Reidel, Dordrecht (1980), pp. 59-72.
15. G. Fischer Servi, "Axiomatizations for some intuitionistic modal logics," Rend. Sem. Mat. Univ. Polit., 42, 179-194 (1984).
16. K. Gödel, "Eine Interpretation des intuitionistischen Aussagenkalkuls," Ergebnisse eines mathematischen Kolloquiums, 6, 39-40 (1933).
17. R. I. Goldblatt, "Metamathematics of modal logic," Reports on Mathematical Logic, 6, 41-77 (1976).
18. E. J. Lemmon and D. S. Scott, An Introduction to Modal Logic, Blackwell, Oxford (1977).
19. L. Maksimova and V. Rybakov, "Lattices of modal logics," Algebra Logika, 13, No. 2, 188-216 (1974).
20. H. Ono, "Some results on the intermediate logics," Publ. Research Inst. Math. Science, 8, 117-130 (1972).
21. H. Ono, "On some intuitionistic modal logics," Publ. Research Inst. Math. Science, 13, 55-67 (1977).
22. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Polish Scientific Publishers (1963).
23. H. Sahlqvist, "Completeness and correspondence in the first and second order semantics for modal logic," in Proc. Third Scandinavian Logic Symposium, S. Kanger (ed.), North-Holland, Amsterdam (1975), pp. 110-143.
24. K. Segerberg, Classical Propositional Operators, Clarendon, Oxford (1982).
25. V. B. Shehtman, "Kripke type semantics for propositional modal logics with intuitionistic base," in Modal and Tense Logics [In Russian], V. A. Smirnov (ed.), Institute of Philosophy, AN SSSR (1979), pp. 108-112.
26. V. H. Sotirov, "Modal theories with intuitionistic logic," in Proc. Conf. Math. Logic, Sofia, 1980, Bulgarian Academy of Sciences (1984), pp. 139-171.
27. F. Wolter and M. Zakharyaschev, "Intuitionistic modal logics as fragments of classical bimodal logics," to appear in Studia Logica.
28. M. V. Zakharyaschev, "Syntax and semantics of intermediate logics," Algebra Logika, 28, No. 4, 402-429 (1989).
29. M. V. Zakharyaschev, "Canonical formulas for K4. I: Basic results," J. Symb. Log., 57, 1377-1402 (1992).