Switch to: Citations

References in:

An algebraic look at filtrations in modal logic

W. Conradie, W. Morton & C. J. van Alten

Logic Journal of the IGPL 21 (5):788-811 (2013)

Add references

You must login to add references.

Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details Download Export citation Bookmark 32 citations
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.details Download Export citation Bookmark 59 citations
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.details Download Export citation Bookmark 54 citations
On the canonicity of Sahlqvist identities.Bjarni Jónsson - 1994 - Studia Logica 53 (4):473 - 491.details We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951. Download Export citation Bookmark 17 citations
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details Download Export citation Bookmark 25 citations
Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.details Download Export citation Bookmark 52 citations
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details Download Export citation Bookmark 56 citations

1