×

A modal logic based on linearly ordered \(f\)-spaces. (Russian, English) Zbl 1032.03010

Algebra Logika 42, No. 3, 320-337 (2003); translation in Algebra Logic 42, No. 3, 181-191 (2003).
The notion of an \(f\)-space was introduced by Yu. L. Ershov [Theorie der Numerierungen. II. Z. Math. Logik Grundlagen Math. 21, 473-584 (1975; Zbl 0344.02031)]. The author considers \(f\)-spaces as scales for modal logics and finds a complete axiomatization for all such strictly ordered scales.

MSC:

03B45 Modal logic (including the logic of norms)

Citations:

Zbl 0344.02031
PDF BibTeX XML Cite
Full Text: EuDML