Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable

Studia Logica 49 (3):365 - 385 (1990)
  Copy   BIBTEX


We consider modal logics whose intermediate fragments lie between the logic of infinite problems [20] and the Medvedev logic of finite problems [15]. There is continuum of such logics [19]. We prove that none of them is finitely axiomatizable. The proof is based on methods from [12] and makes use of some graph-theoretic constructions (operations on coverings, and colourings).



    Upload a copy of this work     Papers currently archived: 94,517

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

53 (#297,284)

6 months
9 (#455,398)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Shehtman
Moscow State University

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.

View all 11 references / Add more references