Normal monomodal logics can simulate all others

Journal of Symbolic Logic

Volumn 64, Issue 1, 1999, Pages 99-138

  Kracht, Marcus ^a   Wolter, Frank ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033455162     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586754     Document Type: Article

References (34)

1. n, Archive of Mathematical Logic, vol. 27 (1988), pp. 107-114.
2. GARETH BIRKHOFF, Lattice theory, American Mathematical Society Colloquium Publications. Rhode Island, 1973.
3. JOHN P. BURGESS, Basic tense logic, Handbook of philosophical logic (Dov M. Gabbay and Franz Guenthner, editors), vol. 2, Reidel, 1984, pp. 89-133.
4. ALEXANDER CHAGROV, The undecidability of the tubularity problem for modal logic, Logic colloquium '94, 1994, p. 34.
5. ALEXANDER CHAGROV and MICHAEL ZAKHARVASCHEV, Modal companions of intermediate propositional logics, Studio Logica, vol. 51 (1992), pp. 49-82.
6. _, The undecidability of the disjunction property and other related problems, this JOURNAL, vol. 58 (1993), pp. 967-1002.
7. BRIAN F. CHELLAS, Modal logic: An introduction, Cambridge University Press, 1980.
8. KOSTA DOŠEN, Duality between modal algebras and neighbourhood frames, Studia Logica, vol. 48 (1989), pp. 219-234.
9. R. FREESE, Free modular lattices, Transactions of the American Mathematical Society, vol. 261 (1980), pp. 81-91.
10. MARTIN GERSON, A neighbourhood frame for T with no equivalent relational frame, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 29-34.
11. KURT GÖDEL, Eine Interpretation des intuitionistischen Aussagenkalküs, Ergebnisse eines mathematischen Kolloquiums, vol. 6 (1933), pp. 39-40.
12. ROBERT I. GOLDBLATT, Logics of Time and Computation, CSLI Lecture Notes, no. 7, CSLI, 1987.
13. VALENTIN GORANKO and GEORGE GARGOV, Modal logic with names, Journal of Philosophical Logic, vol. 22 (1993), pp. 607-636.
14. VALENTIN GORANKO and SOLOMON PASSY, Using the universal modality: Gains and Questions, Journal of Logic and Computation, vol. 2 (1992), pp. 5-30.
15. CARSTEN GREFE, Modale Logiken funktionaler Frames, Master's thesis, Dept. of Mathematics, FU Berlin, 1994.
16. MARCUS KRACHT, Tools and Techniques in Modal Logic, Habilitationschrift, Freie Universität Berlin, 1997, to appear.
17. _, How completeness and correspondence theory got married, Diamonds and defaults (Maarten de Rijke, editor), Synthese, Kluwer, 1993, pp. 175-214.
18. _, Highway to the danger zone, Journal of Logic and Computation, vol. 5 (1995), pp. 93-109.
19. MARCUS KRACHT and FRANK WOLTER, Properties of independently axiomatizable bimodal logics, this JOURNAL, vol. 56 (1991), pp. 1469-1485.
20. LARISA L. MAKSIMOVA, Interpolation theorems in modal logic and and amalgamated varieties of topoboolean algebras, Algebra and Logic (1979).
21. A. A. MARKOV, Impossibility of Certain Algorithms in the Theory of Associative Systems (Russian), Doklady Akademia Nauk SSSR, vol. 77 (1951), pp. 953-956.
22. EMIL L. POST, Recursive Undecidability of a Problem of Thue, this JOURNAL, vol. 12 (1947), pp. 1-11.
23. MICHAEL O. RABIN, Recursive Unsolvability of Group Theoretic Problems, Annals of Mathematics, vol .67 (1958), pp. 172-194.
24. WOLFGANG RAUTENBERG, Klassische und nichtklassische aussagenlogik, Vieweg, Braunschweig/Wiesbaden, 1979.
25. HENDRIK SAHLQVIST, First and second order semantics for modal logic, Proceedings of the third Scandinavian logic symposium (Stig Kanger, editor), North-Holland, 1975, pp. 15-31.
26. GIOVANNI SAMBIN and V. VACCARO, Topology and duality in modal logic, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 249-296.
27. KRISTER SEGERBERG, Modal logics with functional alternative relations, Notre Dame Journal of Formal Logic, vol. 27 (1986), pp. 504-522.
28. S. K. THOMASON, Reduction of tense logic to modal logic I, this JOURNAL, vol. 39 (1974), pp. 549-551.
29. _, Reduction of tense logic to modal logic II, Theoria, vol. 41 (1975), pp. 154-169.
30. _, Undecidability of the completeness problem of modal logic, Universal algebra and applications, Banach center publications vol. 9 (Warsaw), PNW-Polish Scientific Publishers, 1982.
31. JOHAN VAN BENTHEM, Modal and classical logic, Bibliopolis, 1983.
32. FRANK WOLTER, Lattices of modal logics, Ph.D. thesis, FU Berlin, 1993.
33. _, Solution to a problem of Goranko and Passy, Journal of Logic and Computation, vol. 4 (1994), pp. 21-22.
34. _, The finite model property in tense logic, this JOURNAL, vol. 60 (1995), pp. 757-774.