Abstract
This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.
Similar content being viewed by others
References
Amati, G, and F. Pirri, 1994, ‘A uniform tableau method for intuitionistic modal logics I’, Studia Logica 53, 29–60
Blackburn, P., 1993, ‘Nominal tense logic’, Notre Dame Journal of Formal Logic 34, 56–83.
Blok, W., 1976, Varieties of interior algebras, PhD thesis, University of Amsterdam.
Blok, W., 1980, ‘The lattice of modal logics: An algebraic investigation’, Journal of Symbolic Logic 45, 221–236.
Blok, W., 1980, ‘On the degree of incompleteness in modal logics and the covering relation in the lattice of modal logics’, Technical Report 78-07, Dept. of Mathematics, University of Amsterdam.
BosiĆ, M., and K. DoŠen, 1984, ‘Models for normal intuitionistic logics’, Studia Logica 43, 217–245
Bull, R. A. and K. Segerberg, 1984, ‘Franz Guenthner, editors, Handbook of Philosophical Logic, volume 2, 1–88. Re
Chagrov, A., and M. Zakharyaschev, 1993, ‘The undecidability of the disjunction property and other related problems’, Journal of Symbolic Logic 58, 967–
Chagrova, L. A., 1991, ‘Undecidable problems in correspondency theory’, Journal of Symbolic Logic 56, 1261–1272.
chellas, b. 1980, modal logic, an introduction,cambridge university press
de rijke, m., 1993, extending modal logic, phd thesis, Universiteit van Amsterdam
DoŠen, K., 1985, ‘Models for stronger intuitionistic modal logics’, Studia Logica 44, 39–70.
Ewald, W. B., 1986, ‘Intuitionistic tense and modal logic’, Journal of Symbolic Logic 51, 166–179.
Fine, K., 1974, ‘Logics containing K4, Part I’, Journal of Symbolic Logic 39, 229–237.
Fine, K., and G. Schurz, 1991, ‘Transfer theorems for stratified modal logics’, In Proceedings of the Arthur Prior Memorial Conference, Christchurch, New Zeal
Fischer Servi, G., 1980, ‘Semantics of a class of intuitionistic modal calculi’, In L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science, 59–72. Reidel
Fischer Servi, G., 1984, ‘Axiomatizations of some intuitionistic modal logics’, Rend. Sem. Mat. Univers. Polit 42, 179–194
Goldblatt, R. I., 1989, ‘Varieties of complex algebras’, Annals of Pure and Applied Logic 38, 173–241.
Goranko, V., and G. Gargov, 1993, ‘Modal logic with names’, Journal of Philosophical Logic 22, 607–636
Goranko, V., and S. Passy, 1992, ‘Using the universal modality: Gains and Questions’, Journal of Logic and Computation 2, 5–30
Grefe, C., 1994, Modale Logiken funktionaler Frames Master's thesis, Dept. of Mathematics, FU Berlin.
Isard, S., 1977, ‘A finitely axiomatizable undecidable extension of K’, Theoria 43, 195–202.
JÓnsson, B., and A. Tarski, 1951, ‘Boolean algebras with operators’, American Journal of Mathematics 73, 891–939
Kracht, M., 1992, ‘Even more about the lattice of tense logics’, Archive of Mathematical Logic 31, 243–357.
Kracht, M., 1993, ‘How completeness and correspondence theory got married’, In Maarten de Rijke, editor, Diamonds and Defaults, Synthese, 175–214. Kluwer.
Kracht, M., 1995, Tools and Techniques in Modal Logic, manuscript.
Kracht, M., and F. Wolter, 1991, ‘Properties of independently axiomatizable bimodal logics’, Journal of Symbolic Logic 56, 1469–
Kracht, M., and F. Wolter, 1994, Normal monomodal logics can simulate all others, unpublish
Kurucz, Á., I. NÉmeti, I. Sain, and A. Simon, 1993, ‘Undecidable Varieties of Semilattice-ordered Semigroups, of Boolean Algebras with Operators, and Logics extending Lambek Calculus’, Bulletin of the IGPL 1, 91–98
Makinson, D. C., 1971, ‘Some embedding theorems for modal logic’, Notre Dame Journal of Formal Logic 12, 252–254.
Moortgat, M., 1994, Residuation in mixed Lambek systems, manuscript.
Ono, H., 1977, ‘On some intuitionistic modal logics’, Publication of the Research Institute for Mathematical Sciences 13, 687–722.
Passy, S., and T. Tinchev, 1991, ‘An essay in combinatory dynamic logic’, Information and Computation, 93, 263–332
Roorda, D., 1993, ‘Dyadic Modalities and the Lambek Calculus’, In Maarten de Rijke, editor, Diamonds and Defaults, 215–253, Kluwer, Dordrecht.
Sahlqvist, H., 1975, ‘First and second order semantics for modal logic’, In Stig Kanger, editor, Proceedings of the Third Scandinavian Logic Symposium, 15–31. North-Holland.
Sambin, G., and V. Vaccaro, 1988, ‘Topology and duality in modal logic’, Annals of Pure and Applied Logic 37, 249–296
Scott, D., 1970, ‘Advice on Modal Logic’, In Lambert, editor, Philosophical Problems in Logic. Some Recent Developments, 143–174. Reidel, Dordrecht.
Shehtman, V., 1979, ‘Kripke type semantics for propositional modal logics with intuitionistic base’, In V. A. Smirnov, editor, Modal and Tense Logics, 108–112, Institute of Philosophy, USSR Academy of Sciences.
Shehtman, V., 1982, ‘Undecidable propositional calculi (Russian)’, In Problemy kiberneliki, Neklassicheskije logiki i ikh primenenije, Akademia Nauk SSSR.
Spaan, E., 1993, Complexity of Modal Logics, PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam.
Thomason, S. K., 1974, ‘Reduction of tense logic to modal logic I’, Journal of Symbolic Logic 39, 549–551.
Thomason, S. K., 1975, ‘Reduction of second-order logic to modal logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 21, 107–114.
Thomason, S. K., 1975, ‘Reduction of tense logic to modal logic II’, Theoria, 41, 154–169.
Thomason, S. K., 1980, ‘Independent propositional modal logics’, Studia Logica 39, 143–144.
van benthem, j., 1983, modal and classical logicBibliopolis
Venema, Y., 1991, Many-Dimensional Modal Logics, PhD thesis, Universiteit van Amsterdam.
Wolter, F., 1991, Eigenschaften unabhängig axiomatisierbarer polymodaler Logiken, Master's thesis, II. Mathematisches Institut, FU Berlin.
Wolter, F., 1993, Lattices of Modal Logics, PhD thesis, FU Berlin.
Wolter, F., 1994, ‘A counterexample in tense logic’, to appear in the Notre Dame Journal of Formal Logic.
Wolter, F., 1994, ‘Solution to a problem of Goranko and Passy’, Journal of Logic and Computation 4, 21–22.
Wolter, F., 1994, ‘What is the Upper Part of the Lattice of Bimodal Logics?’, Studia Logica, 53, 235–242.
Wolter, F., 1995, ‘Completeness and decidability of tense logics closely related to logics above K4’, to appear in the Journal of Symbolic Logic.
Wolter, F., 1995, ‘The finite model property in tense logic’, Journal of Symbolic Logic 60, 757–774.
Wolter, F., and M. Zakharyaschev, 1994, Intuitionististic Modal Logics as Fragments of Classical Bimodal Logics, forthcomi
Wolter, F., and M. Zakharyaschev, 1994, On the relation between intuitionistic and classical modal logics, forthcomi
Zakharyaschev, M., 1992, ‘Canonical formulas for K4, Part I: Basic results’, Journal of Symbolic Logic, 57, 377–402.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kracht, M., Wolter, F. Simulation and Transfer Results in Modal Logic – A Survey. Studia Logica 59, 149–177 (1997). https://doi.org/10.1023/A:1004900300438
Issue Date:
DOI: https://doi.org/10.1023/A:1004900300438