Polymodal logics of $\alpha$-spaces

Polymodal logics of $\alpha$-spaces Full article

Journal

Trends in Logic
ISSN: 1572-6126 , E-ISSN: 2212-7313

Output data

Year: 2026,

Tags

Modal logic · Temporal logic · Ershov spaces · Interpolation

Authors

Maksimova L.L. ¹ , Yun V.F. ¹

Affiliations

1	Sobolev Institute of Mathematics

The polymodal logics associated with -spaces are studied. The notion of an -space was introduced by Yu.L. Ershov with the aim of developing the theory of computable functionals. Special classes of strictly linearly ordered -frames, namely f-frames and -frames, have been introduced. Polymodal and temporal logics that are complete with respect to these classes have been discovered and described. It is shown that all of these logics have the finite model property and are decidable. In addition, the polymodal logics of strictly linearly ordered f-spaces and strictly linearly ordered f_0- spaces do not possess Craig’s nterpolation property.

Maksimova L.L. , Yun V.F.
Polymodal logics of $\alpha$-spaces
Trends in Logic. 2026.

No identifiers