Canonical formulas for K4. Part II: Cofinal subframe logics

Journal of Symbolic Logic

Volumn 61, Issue 2, 1996, Pages 421-449

  Zakharyaschev, Michael ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030556865     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275669     Document Type: Article

References (29)

1. R. A. BULL, That all normal extensions of S4.3 have the finite model property, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 341-344.
2. A. V. CHAGROV, On the polynomial finite model property of modal and intermediate logics, Mathematical logic, mathematical linguistics and algorithm theory, Kalinin State University, Kalinin, 1983, Russian, pp. 75-83.
3. A. V. CHAGROV and M. V. ZAKHARYASCHEV, On the independent axiomatizability of modal and intermediate logics, Journal of Logic and Computation, vol. 5 (1995), pp. 287-302.
4. A. V. CHAGROV and M.V. ZAKHARYASCHEV, The undecidability of the disjunction property of propositional logics and other related problems, this JOURNAL, vol. 58 (1993), pp. 967-1002.
5. L. A. CHAGROVA, On first-order definability of intuitionistic formulas with restrictions on occurrences of connectives, Logical methods for constructing effective algorithms, Kalinin State University, Kalinin, 1986, Russian, pp. 135-136.
6. _, On the preservation of first-order properties under the embedding of intermediate logics in modal logics, Proceedings of the Xth USSR conference for mathematical logic, Alma-Ata, 1990, Russian, p. 163.
7. _, An undecidable problem in correspondence theory, this JOURNAL, vol. 56 (1991), pp. 1261-1272.
8. R. FEYS, Modal logic, Louvain: E. Nauwelaerts, Paris, 1965.
9. K. FINE, The logics containing S4.3, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 371-376.
10. _, Some connections between elementary and modal logic, Proceedings of the third scandinavian logic symposium (S. Kanger, editor), North-Holland, Amsterdam., 1975, pp. 15-31.
11. _, Logics containing K4, Part II, this JOURNAL, vol. 50 (1985), pp. 619-651.
12. M. KRACHT, Internal definability and completeness in modal logic, Ph.D. thesis, Freie Universität, Berlin, 1990.
13. Logic notebook, Institute of Mathematics, 1986.
14. L. L. MAKSIMOVA, Pretabular extensions of Lewis S4, Algebra and Logic, vol. 14 (1975), pp. 16-33.
15. L. L. MAKSIMOVA and V.V. RYBAKOV, On the lattice of normal modal logics, Algebra and Logic, vol. 13 (1974), pp. 188-216, Russian.
16. C. G. MCKAY, The decidability of certain intermediate logics, this JOURNAL, vol. 33 (1968), pp. 258-264.
17. H. ONO and A. NAKAMURA, On the size of refutation Kripke models for some linear modal and tense logics, Studia Logica, vol. 39 (1980), pp. 325-333.
18. P.H. RODENBURG, Intuitionistic correspondence theory, Ph.D. thesis, University of Amsterdam, 1986.
19. K. SEGERBERG, An essay in classical modal logic, Philosophical Studies, vol. 13 (1971), University of Uppsala.
20. T. SHIMURA, Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas, Studia Logica, vol. 52 (1993), pp. 23-40.
21. M. V. ZAKHARYASCHEV, On intermediate logics, Soviet Mathematics Doklady, vol. 27 (1983), pp. 274-277.
22. _, Syntax and semantics of superintuitionistic and modal logics, Ph.D. thesis, Moscow, 1984, Russian.
23. _, Modal companions of intermediate logics: syntax, semantics and preservation theorems, Mathematical Sbornik, vol. 180 (1989), pp. 1415-1427, English translation: Mathematics of the USSR Sbornik, vol.68 (1991), pp.277-289.
24. _, Modal companions of intermediate logics: syntax, semantics and preservation theorems, Mathematical Sbornik, vol. 180 (1989), pp. 1415-1427, English translation: Mathematics of the USSR Sbornik, vol.68 (1991), pp.277-289.
25. _, Syntax and semantics of intermediate logics, Algebra and Logic, vol. 28 (1989), pp. 262-282.
26. _, Canonical formulas for K4. part I: Basic results, this JOURNAL, vol. 57 (1992), pp. 1377-1402.
27. _, Intermediate logics with disjunction free axioms are canonical, IGPL Newsletter, vol. 1 (1992), no. 4, pp. 7-8.
28. _, Canonical formulas for modal and superintuitionistic logics: A short outline, Modal logic and its neighbours (M. de Rijke, editor), Dordrecht, Kluwer Academic Publishers, 1995, in print.
29. M. V. ZAKHARYASCHEV and S.V. POPOV, On the complexity of countermodels for intuitionistic calculus, Institute of Applied Mathematics, the USSR Academy of Sciences no. 45, 1980, preprint, Russian.