Yavorskii Rostislav Èduardovich

Publications in Math-Net.Ru

1. Narrabat — a prototype service for stylish news retelling
   
   Proceedings of ISP RAS, 29:4 (2017),  325–336
2. On Prenex Fragment of Provability Logic with Quantifiers on Proofs
   
   Trudy Mat. Inst. Steklova, 242 (2003),  123–135
3. Predicate logics of expressively strong theories
   
   Mat. Zametki, 66:5 (1999),  777–788
4. Decidable first order logics
   
   Fundam. Prikl. Mat., 4:2 (1998),  733–749
5. Predicate logics for decidable fragments of arithmetic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 2,  12–16
6. Axiom systems and models for first-order theories with a provability operator
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1996, no. 1,  12–16