Skip to main content
SpringerLink
Log in

Willem Blok and Modal Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We present our personal view on W.J. Blok's contribution to modal logic.

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. BLOK, W. J., Varieties of interior algebras, PhD thesis, University of Amsterdam, 1976.

  2. BLOK, W. J., ‘The lattice of modal logics (abstract)’, Bulletin of the Section of Logic of the Polish Academy of Sciences 6 (1977), 112–115.

    Google Scholar 

  3. BLOK, W. J., ‘On the degree of incompleteness of modal logics (abstract)’, Bulletin of the Section of Logic of the Polish Academy of Sciences 7 (1978), 167–175.

    Google Scholar 

  4. BLOK, W. J., ‘On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics’, Technical Report 78–07, Department of Mathematics, University of Amsterdam, 1978.

  5. BLOK, W. J., ‘An axiomatization of the modal theory of the veiled recession frame’, Studia Logica 38 (1979) 37–47.

    Article  Google Scholar 

  6. BLOK, W. J., ‘The lattice of modal logics: an algebraic investigation’, Journal of Symbolic Logic 45 (1980), 221–236.

    Article  Google Scholar 

  7. BLOK, W. J., ‘The lattice of varieties of modal algebras is not strongly atomic’, Algebra Universalis 11 (1980), 285–294.

    Google Scholar 

  8. BLOK, W. J., ‘Pretabular varieties of modal algebras’, Studia Logica 39 (1980), 101–124.

    Article  Google Scholar 

  9. BLOK, W. J., ‘Reminiscences about modal logic in the seventies’, 2000.

  10. BLOK, W. J., and P. DWINGER, ‘Equational classes of closure algebras’, Indagationes Mathematicae 37 (1975), 189–198.

    Google Scholar 

  11. BLOK, W. J., and P. KOHLER, ‘Algebraic semantics for quasi-classical modal logics’, Journal of Symbolic Logic 48 (1983), 941–964.

    Article  Google Scholar 

  12. CHAGROV, A., and M. ZAKHARYASCHEV, Modal Logic, volume 35 of Oxford Logic Guides, Clarendon Press, Oxford, 1997.

    Google Scholar 

  13. CHAGROV, A., ‘Nontabularity-pretabularity, antitabularity, co-antitabularity’, in Algebraic and Logical Constructions, Kalinin State University, Kalinin, 1989, pp. 105–111. (Russian).

    Google Scholar 

  14. CHAGROV, A., and M. ZAKHARYASCHEV, ‘Modal companions of intermediate prepositional logics’, Studio, Logica 51 (1992), 49–82.

    Article  Google Scholar 

  15. CHAGROVA, L., ‘On the degree of neighbourhood incompleteness of normal modal logics’, in KRACHT, M., M. DE RIJKE, H. WANSING, and M. ZAKHARYASCHEV, (eds.) Advances in Modal Logic 1, CSLI Publications 1998, pp. 63–72.

  16. DUMMETT, M., and E. LEMMON, ‘Modal logics between S4 and S5’, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 5 (1959), 250–264.

    Google Scholar 

  17. DZIOBIAK, W., ‘A note on incompleteness of modal logics with respect to neighbourhood semantics’, Bulletin of the Section of Logic 9 (1978), 136–140.

    Google Scholar 

  18. ESAKIA, L.L., ‘On varieties of Grzegorczyk algebras’, in MIKHAILOV, A. L, (ed.) Studies in Non-classical Logics and Set Theory, pp. 257–287. Moscow, Nauka, 1979. (Russian).

    Google Scholar 

  19. ESAKIA, L.L., ‘To the theory of modal and superintuitionistic systems’, in SMIRNOV, V. A., (ed.) Logical Inference. Proceedings of the USSR Symposium on the Theory of Logical Inference, pp. 147–172. Nauka, Moscow, 1979. (Russian).

  20. ESAKIA, L.L., and V. Yu. MESKHI, ‘Five critical systems’, Theoria 40 (1977), 52–60.

    Google Scholar 

  21. FINE, K., ‘An incomplete logic containing S4’, Theoria 40 (1974), 23–29.

    Article  Google Scholar 

  22. GOLDBLATT, R., ‘Mathematical modal logic: a view of its evolution’, Journal of Applied Logic 1 (2003), 309–392.

    Article  Google Scholar 

  23. GRZEGORCZYK, A., ‘Some relational systems and the associated topological spaces’, Fundamenta Mathematicae 60 (1967), 223–231.

    Google Scholar 

  24. JANKOV, V. A., ‘The relationship between deducibility in the intuitionistic prepositional calculus and finite implicational structures’, Soviet Mathematics Doklady 4 (1963), 1203–1204.

    Google Scholar 

  25. JANSANA, R., ‘Willem Blok's contribution to abstract algebraic logic’, Studia Logica 31–48 of this issue.

  26. JONSSON, B., ‘Algebras whose congruence lattices are distributive’, Mathematica Scandinavica 21 (1967), 110–121.

    Google Scholar 

  27. KRACHT, M., Tools and Techniques in Modal Logic, Studies in Logic. Elsevier, North-Holland, 1999.

    Google Scholar 

  28. KUZNETSOV, A. V., ‘Some properties of the structure of varieties of pseudo-Boolean algebras’, in Proceedings of the Xlth USSR Algebraic Colloquium, pp. 255–256, Kishinev, 1971. (Russian).

  29. LlTAK, T., An algebraic approach to incompleteness in modal logic, Ph. D. thesis, JAIST, 2005.

  30. MAKSIMOVA, L., ‘Modal logics of finite slices’, Algebra and Logic 14 (1975), 188–197.

    Article  Google Scholar 

  31. MAKSIMOVA, L., ‘Pretabular extensions of Lewis 54’, Algebra and Logic 14 (1975), 16–33.

    Article  Google Scholar 

  32. MAKSIMOVA, L., and V. RYBAKOV, ‘Lattices of modal logics’, Algebra and Logic 13 (1974), 105–122.

    Article  Google Scholar 

  33. McKENZIE, R., ‘Equational bases and non-modular lattice varieties’, Transactions of the American Mathematical Society 174 (1972), 1–43.

    Article  Google Scholar 

  34. McKlNSEY, J. C. C., and A. TARSKI, ‘The algebra of topology’, Annals of Mathematics, 45 (1944), 141–191.

    Article  Google Scholar 

  35. McKlNSEY, J. C. C., and A. TARSKI, ‘On closed elements in closure algebras’, Annals of Mathematics 47 (1946), 122–162.

    Article  Google Scholar 

  36. McKlNSEY, J. C. C., and A. TARSKI, ‘Some theorems about the sentential calculi of Lewis and Heyting’, Journal of Symbolic Logic 13 (1948), 1–15.

    Article  Google Scholar 

  37. RAUTENBERG, W., Klassische und nichtklassische Aussagenlogik, Vieweg, Braunschweig-Wiesbaden, 1979.

  38. RAUTENBERG, W., ‘Splitting lattices of logics’, Archiv fur Mathematische Logik 20 (1980), 155–159.

    Article  Google Scholar 

  39. SEGERBERG, K., ‘An essay in classical modal logic’, Philosophical Studies 13 (1971).

  40. THOMASON, S., ‘An incompleteness theorem in modal logic’, Theoria 40 (1974), 30–34.

    Article  Google Scholar 

  41. WOLTER, P., ‘The structure of lattices of subframe logics’, Annals of Pure and Applied Logic 86 (1997), 47–100.

    Article  Google Scholar 

  42. WOLTER, P., and M. ZAKHARYASCHEV, ‘Modal decision problems’, in BLACKBURN, P., J. VAN BENTHEM, and F. WOLTER, (eds.) Handbook of Modal Logic, Elsevier, 2006.

  43. ZAKHARYASCHEV, M., F. WOLTER, and A. CHAGROV, ‘Advanced modal logic’, in GABBAY, D., and F. GUENTHNER, (eds.) Handbook of Philosophical Logic, vol.3, pp. 83–266. Kluwer Academic Publishers, 2nd edition, 2001.

Download references

Author information

Authors and Affiliations

  1. Freie Universitat Berlin 2. Mathematisches Institut Arnimallee 2, 14195, Berlin, Germany

    W. Rautenberg

  2. School of Computer Science and Information Systems Birbeck College, Univ. of London, Malet Street, London, WC1E 7HX, United Kingdom

    M. Zakharyaschev

  3. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, United Kingdom

    F. Wolter

Authors
  1. W. Rautenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Zakharyaschev
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. Wolter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to W. Rautenberg.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rautenberg, W., Zakharyaschev, M. & Wolter, F. Willem Blok and Modal Logic. Stud Logica 83, 15–30 (2006). https://doi.org/10.1007/s11225-006-8296-2

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-8296-2

Keywords

Search

Navigation