|
|
|
Publications in Math-Net.Ru |
Citations |
|
1993 |
| 1. |
P. G. Naumov, “Undecidability of a second-order provability logic with witness comparison”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993, no. 3, 14–17    |
| 2. |
P. G. Naumov, “Undecidability of the Gödel–Löb logic with quantifiers with respect to propositional variables”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993, no. 2, 13–16 |
|
1991 |
| 3. |
P. G. Naumov, “Modal logics that are conservative over intuitionistic predicate calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1991, no. 6, 86–90 |
|
Contact us: