Naumov Pavel Gennad'evich

Publications in Math-Net.Ru

1. Undecidability of a second-order provability logic with witness comparison
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993, no. 3,  14–17
2. 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
3. Modal logics that are conservative over intuitionistic predicate calculus
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1991, no. 6,  86–90