The structure of lattices of subframe logics

Annals of Pure and Applied Logic

Volumn 86, Issue 1, 1997, Pages 47-100

  Wolter, Frank ^a  

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

Author keywords

Decidability; Kripke completeness; Lattice; Modal logic; Splitting; Subframe logic; Tense logic

Indexed keywords

EID: 0031566423     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00049-8     Document Type: Article

References (50)

1. n, Arch. Math. Logic 27 (1988) 107-114.
2. [2] J. van Benthem, Modal and Classical Logic (Bibliopolis, Napels, 1983).
3. [3] W. Blok, Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam (1976).
4. [4] W. Blok, On the degree of incompleteness in modal logic and the covering relation in the lattice of modal logics, Report 78-07, University of Amsterdam (1978).
5. [5] W. Blok, Pretabular varieties of modal algebras, Studia Logica 39 (1980) 101-124.
6. [6] W. Blok, The lattice of modal logics. An algebraic investigation, J. Symbolic Logic 45 (1980) 221-236.
7. [7] W. Blok and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15 (1982) 195-227.
8. [8] G. Boolos, The Logic of Provability (Cambridge Univ. Press, Cambridge, 1993).
9. [9] A. Bull, That all normal extensions of S4.3 have the finite model property, Z. Math. Logik Grundlagen Math. 12 (1966) 341-343.
10. [10] J. Burgess, Basic tense logic, in: D. Gabbay and F. Guenthner eds., Handbook of Philosophical Logic, Vol. 2 (Kluwer, Dordrecht, 1984).
11. [11] A. Chagrov and M. Zakharyaschev, Modal companions of intermediate propositional logics, Studia Logica 51 (1992) 49-82.
12. [12] A. Chagrov and M. Zakharyaschev, Modal Logic (Oxford Univ. Press, Oxford, 1997).
13. [13] L. Esakia and V. Meskhi, Five critical systems, Theoria 43 (1977) 52-60.
14. [14] K. Fine, The logics containing S4.3, Z. Math. Logik Grundlagen Math. 17 (1971) 371-376.
15. [15] K. Fine, An ascending chain of S4-logics, Theoria 40 (1974) 110-116.
16. [16] K. Fine, Logics containing K4, Part I, J. Symbolic Logic 39 (1974) 229-237.
17. [17] K. Fine, Some connections between elementary and modal logic, in: S. Kanger, ed., Proc. 3rd Scandinavian Logic Symp. (North-Holland, Amsterdam, 1975).
18. [18] K. Fine, Logics containing K4, Part II, J. Symbolic Logic 50 (1985) 619-651.
19. [19] K. Fine and G. Schurz, Transfer Theorems for stratified multimodal logics, in: J. Copeland, ed., Logic and Reality. Essays in Pure and Applied Logic. In Memory of Arthur Prior (Oxford Univ. Press, Oxford, 1996) 169-213.
20. [20] D. Gabbay, I. Hodkinson and M. Reynolds, Temporal Logic (Oxford Univ. Press, Oxford, 1994).
21. [21] R. Goldblatt, Metamathematics of modal logic, Rep Mathematical Logic 6,7 (1976) 41-77, 21-52.
22. [22] R. Goldblatt, Varieties of complex algebras, Ann. Pure Appl. Logic 38 (1989) 173-241.
23. [23] Henkin, Monk and Tarski, Cylindric Algebras, Part I (North-Holland, Amsterdam, 1971).
24. [24] V.A. Jankov, The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures, Sov. Math. Dokl. 4 (1963) 1203-1204.
25. [25] V.A. Jankov, The construction of a sequence of strongly independent superintuitionistic propositional calculi, Sov. Math. Dokl. 9 (1968) 806-807.
26. [26] P. Jipsen and H. Rose, Varieties of Lattices, Lecture Notes (Springer, New York, 1992).
27. [27] M. Kracht, An almost general splitting theorem for modal logic, Studia Logica 49 (1990) 455-470.
28. [28] M. Kracht, Even more about the lattice of tense logics, Arch. Math. Logic 31 (1992) 243-257.
29. [29] M. Kracht and F. Wolter, Properties of independently axiomatizable bimodal logics, J. Symbolic Logic 56 (1991) 469-485.
30. [30] D.C. Makinson, Some embedding theorems for modal logic, Notre Dame J. Formal Logic 12 (1971) 252-254.
31. [31] L. Maksimova, Pretabular extensions of Lewis S4, Algebra Logica 14 (1975) 28-55.
32. [32] R. McKenzie, Equational bases and non-modular Lattice Varieties, Trans. Amer. Math. Soc. 174 (1972) 1-43.
33. [33] M. Nagle and S. Thomason, The extensions of the Modal Logic K5, J. Symbolic Logic 50 (1985) 102-109.
34. [34] W. Rautenberg, Der Verband der normalen verzweigten Modallogiken, Math. Z. 156 (1977) 123-140.
35. [35] W. Rautenberg, Klassische und nichtklassische Aussagenlogik (Vieweg, Wiesbaden, 1979).
36. [36] G. Sambin and V. Vaccaro, Topology and duality in modal logic, Ann. Pure Appl. Logic 37 (1988) 249-296.
37. [37] S.J. Scroggs, Extensions of the Lewis system S5, J. Symbolic Logic 16 (1951) 112-120.
38. [38] K. Segerberg, An essay in classical modal logic, Mimeograph, Uppsala (1971).
39. [39] K. Segerberg, Modal logics with functional alternative relations, Notre Dame J. Formal logic 27 (1986) 504-522.
40. [40] A. Tarski, Contributions to the theory of models I,II, Indag. Math. 16 (1954) 572-588.
41. [41] S.K. Thomason, Reduction of second order logic to modal logic, Z. Math. Logik Grundlagen Math. 21 (1975) 107-114.
42. [42] A. Visser, A course in bimodal provability logic, Ann. Pure Appl. Logic 73 (1995) 115-142.
43. [43] P. Whitman, Splitting of a lattice, Amer. J. Math. 65 (1943) 179-196.
44. [44] F. Wolter, Lattices of modal logics, Ph. D. Thesis, FU Berlin (1993).
45. [45] F. Wolter, The finite model property in Tense logic, J. Symbolic Logic 60 (1995) 757-774.
46. [46] F. Wolter, Completeness and decidability of tense logics closely related to logics above K4, J. Symbolic Logic, to appear.
47. [47] F. Wolter, A counterexample in tense logic, Notre Dame J. Formal Logic 37 (1996) 167-173.
48. [48] F. Wolter, Tense logics without tense operators, Math. Logic Quart. 42 (1996) 145-171.
49. [49] M. Zakharyaschev, Canonical formulas for K4, Part I, J. Symbolic Logic 57 (1992) 1377-1402.
50. [50] M. Zakharyaschev, Canonical formulas for K4, Part II, J. Symbolic Logic 61 (1996) 421-449.