Skip to main content
SpringerLink
Log in

Simulation and Transfer Results in Modal Logic – A Survey

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Amati, G, and F. Pirri, 1994, ‘A uniform tableau method for intuitionistic modal logics I’, Studia Logica 53, 29–60

    Google Scholar 

  2. Blackburn, P., 1993, ‘Nominal tense logic’, Notre Dame Journal of Formal Logic 34, 56–83.

    Google Scholar 

  3. Blok, W., 1976, Varieties of interior algebras, PhD thesis, University of Amsterdam.

  4. Blok, W., 1980, ‘The lattice of modal logics: An algebraic investigation’, Journal of Symbolic Logic 45, 221–236.

    Google Scholar 

  5. 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.

  6. BosiĆ, M., and K. DoŠen, 1984, ‘Models for normal intuitionistic logics’, Studia Logica 43, 217–245

    Google Scholar 

  7. Bull, R. A. and K. Segerberg, 1984, ‘Franz Guenthner, editors, Handbook of Philosophical Logic, volume 2, 1–88. Re

  8. Chagrov, A., and M. Zakharyaschev, 1993, ‘The undecidability of the disjunction property and other related problems’, Journal of Symbolic Logic 58, 967–

    Google Scholar 

  9. Chagrova, L. A., 1991, ‘Undecidable problems in correspondency theory’, Journal of Symbolic Logic 56, 1261–1272.

    Google Scholar 

  10. chellas, b. 1980, modal logic, an introduction,cambridge university press

  11. de rijke, m., 1993, extending modal logic, phd thesis, Universiteit van Amsterdam

  12. DoŠen, K., 1985, ‘Models for stronger intuitionistic modal logics’, Studia Logica 44, 39–70.

    Google Scholar 

  13. Ewald, W. B., 1986, ‘Intuitionistic tense and modal logic’, Journal of Symbolic Logic 51, 166–179.

    Google Scholar 

  14. Fine, K., 1974, ‘Logics containing K4, Part I’, Journal of Symbolic Logic 39, 229–237.

    Google Scholar 

  15. Fine, K., and G. Schurz, 1991, ‘Transfer theorems for stratified modal logics’, In Proceedings of the Arthur Prior Memorial Conference, Christchurch, New Zeal

  16. 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

  17. Fischer Servi, G., 1984, ‘Axiomatizations of some intuitionistic modal logics’, Rend. Sem. Mat. Univers. Polit 42, 179–194

    Google Scholar 

  18. Goldblatt, R. I., 1989, ‘Varieties of complex algebras’, Annals of Pure and Applied Logic 38, 173–241.

    Article  Google Scholar 

  19. Goranko, V., and G. Gargov, 1993, ‘Modal logic with names’, Journal of Philosophical Logic 22, 607–636

    Google Scholar 

  20. Goranko, V., and S. Passy, 1992, ‘Using the universal modality: Gains and Questions’, Journal of Logic and Computation 2, 5–30

    Google Scholar 

  21. Grefe, C., 1994, Modale Logiken funktionaler Frames Master's thesis, Dept. of Mathematics, FU Berlin.

    Google Scholar 

  22. Isard, S., 1977, ‘A finitely axiomatizable undecidable extension of K’, Theoria 43, 195–202.

    Google Scholar 

  23. JÓnsson, B., and A. Tarski, 1951, ‘Boolean algebras with operators’, American Journal of Mathematics 73, 891–939

    Google Scholar 

  24. Kracht, M., 1992, ‘Even more about the lattice of tense logics’, Archive of Mathematical Logic 31, 243–357.

    Google Scholar 

  25. Kracht, M., 1993, ‘How completeness and correspondence theory got married’, In Maarten de Rijke, editor, Diamonds and Defaults, Synthese, 175–214. Kluwer.

  26. Kracht, M., 1995, Tools and Techniques in Modal Logic, manuscript.

  27. Kracht, M., and F. Wolter, 1991, ‘Properties of independently axiomatizable bimodal logics’, Journal of Symbolic Logic 56, 1469–

    Google Scholar 

  28. Kracht, M., and F. Wolter, 1994, Normal monomodal logics can simulate all others, unpublish

  29. 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

    Google Scholar 

  30. Makinson, D. C., 1971, ‘Some embedding theorems for modal logic’, Notre Dame Journal of Formal Logic 12, 252–254.

    Google Scholar 

  31. Moortgat, M., 1994, Residuation in mixed Lambek systems, manuscript.

  32. Ono, H., 1977, ‘On some intuitionistic modal logics’, Publication of the Research Institute for Mathematical Sciences 13, 687–722.

    Google Scholar 

  33. Passy, S., and T. Tinchev, 1991, ‘An essay in combinatory dynamic logic’, Information and Computation, 93, 263–332

    Google Scholar 

  34. Roorda, D., 1993, ‘Dyadic Modalities and the Lambek Calculus’, In Maarten de Rijke, editor, Diamonds and Defaults, 215–253, Kluwer, Dordrecht.

    Google Scholar 

  35. 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.

  36. Sambin, G., and V. Vaccaro, 1988, ‘Topology and duality in modal logic’, Annals of Pure and Applied Logic 37, 249–296

    Article  Google Scholar 

  37. Scott, D., 1970, ‘Advice on Modal Logic’, In Lambert, editor, Philosophical Problems in Logic. Some Recent Developments, 143–174. Reidel, Dordrecht.

    Google Scholar 

  38. 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.

  39. Shehtman, V., 1982, ‘Undecidable propositional calculi (Russian)’, In Problemy kiberneliki, Neklassicheskije logiki i ikh primenenije, Akademia Nauk SSSR.

  40. Spaan, E., 1993, Complexity of Modal Logics, PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam.

  41. Thomason, S. K., 1974, ‘Reduction of tense logic to modal logic I’, Journal of Symbolic Logic 39, 549–551.

    Google Scholar 

  42. Thomason, S. K., 1975, ‘Reduction of second-order logic to modal logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 21, 107–114.

    Google Scholar 

  43. Thomason, S. K., 1975, ‘Reduction of tense logic to modal logic II’, Theoria, 41, 154–169.

    Google Scholar 

  44. Thomason, S. K., 1980, ‘Independent propositional modal logics’, Studia Logica 39, 143–144.

    Google Scholar 

  45. van benthem, j., 1983, modal and classical logicBibliopolis

  46. Venema, Y., 1991, Many-Dimensional Modal Logics, PhD thesis, Universiteit van Amsterdam.

  47. Wolter, F., 1991, Eigenschaften unabhängig axiomatisierbarer polymodaler Logiken, Master's thesis, II. Mathematisches Institut, FU Berlin.

    Google Scholar 

  48. Wolter, F., 1993, Lattices of Modal Logics, PhD thesis, FU Berlin.

  49. Wolter, F., 1994, ‘A counterexample in tense logic’, to appear in the Notre Dame Journal of Formal Logic.

  50. Wolter, F., 1994, ‘Solution to a problem of Goranko and Passy’, Journal of Logic and Computation 4, 21–22.

    Google Scholar 

  51. Wolter, F., 1994, ‘What is the Upper Part of the Lattice of Bimodal Logics?’, Studia Logica, 53, 235–242.

    Google Scholar 

  52. Wolter, F., 1995, ‘Completeness and decidability of tense logics closely related to logics above K4’, to appear in the Journal of Symbolic Logic.

  53. Wolter, F., 1995, ‘The finite model property in tense logic’, Journal of Symbolic Logic 60, 757–774.

    Google Scholar 

  54. Wolter, F., and M. Zakharyaschev, 1994, Intuitionististic Modal Logics as Fragments of Classical Bimodal Logics, forthcomi

  55. Wolter, F., and M. Zakharyaschev, 1994, On the relation between intuitionistic and classical modal logics, forthcomi

  56. Zakharyaschev, M., 1992, ‘Canonical formulas for K4, Part I: Basic results’, Journal of Symbolic Logic, 57, 377–402.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. II. Mathematisches Institut, Freie Universität Berlin, Arnimallee 3, D-14195, Berlin, Germany

    Marcus Kracht

  2. Japan Advanced Institute of Science and Technology (JAIST), Tatsunokuchi, Ishikawa, 923-12, Japan

    Frank Wolter

Authors
  1. Marcus Kracht
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Wolter
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004900300438

Search

Navigation