Abstract:
A modal logic associated with the $f$-spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered $f_0$-frames, and the class of all strictly linearly ordered $f$-frames.