Every world can see a reflexive world (Q2639844)

\({\mathfrak C}\) is the class of frames \(<W,R>\) in which all worlds can `see' a reflexive world, i.e. for all \(x\in W\), \(\exists y\in W(xRy\wedge yRy)\). This class of frames characterizes the system KMT defined by adding to the minimal normal modal system, K, all axioms \(M(L(p_ 1\supset p_ 1)\wedge...\wedge L(p_ n\supset p_ n)),\) for every \(n\geq 1\). KMT is proved sound and complete with respect to all \({\mathfrak C}\)-models. It is also proved (i) that KMT has the finite model property, (ii) that there are frames for KMT not in \({\mathfrak C}\) although all finite frames for KMT are in \({\mathfrak C}\), (iii) that KMT is decidable, (iv) but not finitely axiomatizable, (v) that the class of all frames of KMT is not definable by any formula in first-order logic, and (vi) that \(<W,R>\) is a frame for KMT iff for all \(x\in W\), the worlds that x can see (the worlds y such that xRy) form a sub-frame which is not finitely colorable.