A Modal Logic Based on Linearly Ordered f-Spaces

Author: Murzina V.F.

Source: Algebra and Logic, Volume 42, Number 3, May 2003 , pp. 181-191(11)

Publisher: Springer

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

Language: English

Document Type: Research article

Affiliations: 1: Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, 4, Novosibirsk 630090, Russia veta_v@mail.ru

Publication date: 2003-05-01

• In this: publication
• By this: publisher
• In this Subject: Mathematics and Statistics
• By this author: Murzina V.F.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers