Persons: Yavorskii, Rostislav Èduardovich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Yavorskii, Rostislav Èduardovich

Candidate of physico-mathematical sciences

Website:

Subject:

First order logic; provability logic, logic of proofs; applications of mathematical logic in computer science.

	Publications in Math-Net.Ru	Citations
	2017
1.	I. I. Dolgaleva, I. A. Gorshkov, R. E. Yavorskiy, “Narrabat — a prototype service for stylish news retelling”, Proceedings of ISP RAS, 29:4 (2017), 325–336
	2003
2.	R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Trudy Mat. Inst. Steklova, 242 (2003), 123–135 ; Proc. Steklov Inst. Math., 242 (2003), 112–124	1
	1999
3.	R. È. Yavorskii, “Predicate logics of expressively strong theories”, Mat. Zametki, 66:5 (1999), 777–788 ; Math. Notes, 66:5 (1999), 642–650	1
	1998
4.	R. È. Yavorskii, “Decidable first order logics”, Fundam. Prikl. Mat., 4:2 (1998), 733–749	2
5.	R. È. Yavorskii, “Predicate logics for decidable fragments of arithmetic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 2, 12–16	1
	1996
6.	R. È. Yavorskii, “Axiom systems and models for first-order theories with a provability operator”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1996, no. 1, 12–16

Presentations in Math-Net.Ru

1.	Modelling and analysis of computation processes R. È. Yavorskii Colloquium of the Faculty of Computer Science March 5, 2015 16:40

Organisations