An algebraic look at filtrations in modal logic

, &
Logic Journal of the IGPL 21 (5):788-811 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: W. J. Blok, The Lattice of Modal Logics: An Algebraic Investigation; W. J. Blok, Pretabular Varieties of Modal Algebras. [REVIEW]Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.
W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 , pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 , pp. 101–124.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
On algebraic and topological semantics of the modal logic of common knowledge S4CI.Daniyar Shamkanov - 2024 - Logic Journal of the IGPL 32 (1):164-179.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Correction to: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2019 - Studia Logica 109 (5):1175-1175.
Products of modal logics, part 1.D. Gabbay & V. Shehtman - 1998 - Logic Journal of the IGPL 6 (1):73-146.

Analytics

Added to PP
2016-06-30

Downloads
22 (#947,658)

6 months
5 (#1,002,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
Analogues of Bull’s theorem for hybrid logic.Willem Conradie & Claudette Robinson - 2019 - Logic Journal of the IGPL 27 (3):281-313.

Add more citations

References found in this work

Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.

View all 6 references / Add more references