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.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Murzina, V.F. A Modal Logic Based on Linearly Ordered \(f\)-Spaces. Algebra and Logic 42, 181–191 (2003). https://doi.org/10.1023/A:1023988610035
Issue Date:
DOI: https://doi.org/10.1023/A:1023988610035