Robin Hirsch' articles on Modal Logic
- R. Hirsch, I. Hodkinson.
, Maarten Marx, Szabolcs Mikulas, and Mark
Reynolds. Appendix
to `A modal logic of relations' by Venema & Marx.
In Logic at work - Essays dedicated to the memory of Helena Rasiowa,
Studia Logica library, pages 158-167, Kluwer academic publishers, Dordrecht,
1998.
- R. Hirsch, I. Hodkinson
and A Kurucz. Every
logic between K 3 and S5 3 is undecidable and non-finitely axiomatisable
This is a draft manuscript. A revised version called "On modal logics
between K 3 and S5 3 " appears in the
Journal of Symbolic Logic, volume 67, number 1, pages 221-234,
2002.