|
|||||
|
|
A Modal Logic Based on Linearly Ordered f-Spaces |
|
| Authors: | V. F. Murzina |
| Affiliation: | (1) Akademika Koptyuga Prospekt, 4, Institute of Mathematics SB RAS, Novosibirsk, 630090, Russia |
| Abstract: | A modal logic associated with the  -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered  -frames, and the class of all strictly linearly ordered  -frames. |
| Keywords: | modal logic IE5" > |
| 本文献已被 SpringerLink 等数据库收录！ | |