RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2003 Volume 42, Number 3, Pages 320–337 (Mi al33)

This article is cited in 3 papers

A Modal Logic Based on Linearly Ordered $f$-Spaces

V. F. Murzina

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

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.

Keywords: modal logic, $f$-space, strictly linearly ordered $f$-frame, strictly linearly ordered $f_0$-frame.

UDC: 510.643

Received: 25.07.2001


 English version:
Algebra and Logic, 2003, 42:3, 181–191

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024