You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
On Modal Logics between K × K × K and
$S5 \times S5 \times S5$
R. Hirsch, I. Hodkinson and A. Kurucz
The Journal of Symbolic Logic
Vol. 67, No. 1 (Mar., 2002), pp. 221-234
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2695006
Page Count: 14
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
We prove that every n-modal logic between Kn and S5n is undecidable, whenever n ≥ 3. We also show that each of these logics is non- finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov-Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the (undecidable) representation problem of finite relation algebras.
The Journal of Symbolic Logic © 2002 Association for Symbolic Logic