|
This article is cited in 3 scientific papers (total 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.
Received: 25.07.2001
Citation:
V. F. Murzina, “A Modal Logic Based on Linearly Ordered $f$-Spaces”, Algebra Logika, 42:3 (2003), 320–337; Algebra and Logic, 42:3 (2003), 181–191
Linking options:
https://www.mathnet.ru/eng/al33 https://www.mathnet.ru/eng/al/v42/i3/p320
|
Statistics & downloads: |
Abstract page: | 292 | Full-text PDF : | 140 | References: | 52 | First page: | 1 |
|