A. V. Gladkij. O raspoznavanii zaméščaémosti v rékursivnyh ázykah. Algébra i logika, Séminar, vol. 2 no. 3 (1963), pp. 5–22. - A. V. Gladkii. On the recognition of replaceability in recursive languages. English translation of the above by M. Greendlinger. American Mathematical Society translations, ser. 2 vol. 64 (1967), pp. 81–96.

1970 ◽  
Vol 35 (2) ◽  
pp. 340-340
Author(s):  
Arto Salomaa
Keyword(s):  
English Translation ◽  
Algebra I ◽  
American Mathematical Society ◽  
Mathematical Society

S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii, Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. (English translation by E. Mendelson of O modal'nykh logikakh, aksiomatiziruyushchikh dokazuemost', Izvestiya Akademii Nauk SSSR, Seriya matematicheskaya, vol. 49 (1985), pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 (for 1985, pub. 1986), pp. 403–405. (English translation by E. Mendelson of Nearifmetichnost' istinnostnykh predikatnykh logik dokazuemosti, Doklady Academii Nauk SSSR, vol. 284 (1985), pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 (for 1986, pub. 1987), pp. 569–572. (English translation by E. Mendelson of Arifmeticheskaya slozhnost' predikatnykh logik dokazuemosti i ikh fragmentov, Doklady Akademii Nauk SSSR, vol. 288 (1986), pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 (1987), pp. 384–387. (English translation by E. Mendelson of Numericheski korrektnye logiki dokazuemosti, Doklady Akademii Nauk SSSR, vol. 290 (1986), pp. 1289–1292.)

1991 ◽  
Vol 56 (1) ◽  
pp. 329-332
Author(s):  
Vann McGee
Keyword(s):  
English Translation ◽  
Nauk Sssr ◽  
American Mathematical Society ◽  
Modal Logics ◽  
Izvestiya Akademii Nauk Sssr ◽  
Mathematical Society ◽  
Truth Predicate ◽  
Akademii Nauk Sssr ◽  
Arithmetic Complexity ◽  
Doklady Akademii Nauk Sssr
Sign in / Sign up

Export Citation Format

Share Document