Geodesic
On two extensions of the logic of provability GL
Sbornik. Mathematics, Tome 69 (1991) no. 1, pp. 255-270 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{SM_1991_69_1_a14,
     author = {V. Yu. Shavrukov},
     title = {On two extensions of the logic of {provability~GL}},
     journal = {Sbornik. Mathematics},
     pages = {255--270},
     year = {1991},
     volume = {69},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SM_1991_69_1_a14/}
}
TY  - JOUR
AU  - V. Yu. Shavrukov
TI  - On two extensions of the logic of provability GL
JO  - Sbornik. Mathematics
PY  - 1991
SP  - 255
EP  - 270
VL  - 69
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/SM_1991_69_1_a14/
LA  - en
ID  - SM_1991_69_1_a14
ER  - 
%0 Journal Article
%A V. Yu. Shavrukov
%T On two extensions of the logic of provability GL
%J Sbornik. Mathematics
%D 1991
%P 255-270
%V 69
%N 1
%U http://geodesic.mathdoc.fr/item/SM_1991_69_1_a14/
%G en
%F SM_1991_69_1_a14
V. Yu. Shavrukov. On two extensions of the logic of provability GL. Sbornik. Mathematics, Tome 69 (1991) no. 1, pp. 255-270. http://geodesic.mathdoc.fr/item/SM_1991_69_1_a14/

[1] Segerberg K., An essay in classical modal logic, Filosofiska studier nr. 13, Philos. Soc. and Dept. of Philos., Univ. of Uppsala, Uppsala, 1971 | MR

[2] Solovay R. M., “Provability interpretations of modal logic”, Israel J. Math., 25 (1976), 287–304 | DOI | MR | Zbl

[3] Kuznetsov A. V., Muravitskii A. Yu., “Algebry Magari”, XIV Vsesoyuznaya algebraicheskaya konferentsiya, tez. dokl., 2, IM SO AN SSSR, Novosibirsk, 1977, 105–106

[4] Boolos G., “Provability in arithmetic and a schema of Grzegorczyk”, Fund. Math., 106 (1980), 41–45 | MR | Zbl

[5] Boolos G., “On systems of modal logic with probability interpretations”, Theoria, 46 (1980), 7–18 | MR

[6] Kuznetsov A. V., Muravitskii A. Yu., “Dokazuemost kak modalnost”, Aktualnye voprosy logiki i metodologii nauki, Naukova dumka, Kiev, 1980, 193–230

[7] Visser A., Aspects of diagonalization and provability, Dissertation, Utrecht, 1981

[8] Artëmov S. N., “O modalnykh logikakh, aksiomatiziruyuschikh dokazuemost”, Izv. AN SSSR Ser. matem., 49 (1985), 1123–1154 | MR | Zbl

[9] Chagrov A. V., “Mnogoobraziya logicheskikh matrits”, Algebra i logika, 24:4 (1985), 426–489 | MR | Zbl

[10] Artëmov S. N., “O lokalnoi tablichnosti propozitsionalnykh logik dokazuemosti”, Logicheskie metody postroeniya effektivnykh algoritmov, KGU, Kalinin, 1986, 9–12

[11] Logicheskaya tetrad, IM SO AN SSSR, Novosibirsk, 1986

[12] Artemov S. N., “On logical axiomatization of provability”, VIII ICLMPS, Abstracts, 1, IF AN SSSR, M., 1987, 7–10

[13] Kuznetsov A. V., Muravitskii A. Yu., “O superintuitsionistskikh logikakh kak fragmentakh rasshirenii logiki dokazuemosti”, Neklassicheskie logiki, Shtiintsa, Kishinev, 1987, 15–39 | MR

[14] Maksimova L. L., “Ob interpolyatsii v normalnykh modalnykh logikakh”, Neklassicheskie logiki, Shtiintsa, Kishinev, 1987, 40–56

[15] Artëmov S. N., Voprosy aksiomatiziruemosti i polnoty modalnykh logik dokazuemosti, Dis. ... dokt. fiz.-matem. nauk, MIAN SSSR, M., 1988, 158 pp.