This article is cited in 9 papers

On modal logics axiomatizing provability

S. N. Artemov


Abstract: On the basis of the concept of the trace of a modal logic, introduced earlier by the author, a classification of arithmetically complete modal logics is given. It is proved that, between the least and the greatest arithmetically complete logics, there are continuum many logics which are not arithmetically complete.
Bibliography: 17 titles.

UDC: 510.65

MSC: Primary 03B45; Secondary 03F99

Received: 05.09.1983
Revised: 27.03.1985

 English version: Mathematics of the USSR-Izvestiya, 1986, 27:3, 401–429

Bibliographic databases:

• 
•