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,607

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

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.
A Structure Theorem For Free Temporal Algebras.Francisco García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Decidability of Inquisitive Modal Logic via Filtrations.Stipe Marić & Tin Perkov - forthcoming - Studia Logica:1-19.
‘Reflections on Filtration’: A Response to ‘Modern Faces of Filtration’ by Johan van Benthem and Nick Bezhanishvili.Kit Fine - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 63-78.

Analytics

Added to PP
2016-06-30

Downloads
22 (#962,231)

6 months
5 (#1,021,231)

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

View all 6 references / Add more references