Persons: Sekorin, Vseslav Stanislavovich

Persons

RUS ENG

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

Sekorin, Vseslav Stanislavovich

Birth date:

16.10.1996

Keywords:

first order logic

Subject:

Partial fixed point

Main publications:

Sekorin V.S., “Partial Fixed Point for Finite Models in Second Order Logic”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1672-1679

	Publications in Math-Net.Ru	Citations
	2024
1.	V. S. Sekorin, “On undecidability of unary non-nested PFP-operators for one successor function theory”, Izv. Vyssh. Uchebn. Zaved. Mat., 2024, no. 4, 89–93
	2022
2.	V. S. Sekorin, “Modeling of the partial fixed point operator”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2022, no. 2, 14–26
	2020
3.	V. S. Sekorin, “On equivalence of two PFP-operator semantics”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2020, no. 3, 41–49	4

Presentations in Math-Net.Ru

1.	Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем V. S. Sekorin Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023) February 28, 2024 19:00
2.	On the expressivity properties of partial fixed point operator for finite and infinite systems V. S. Sekorin Seminars "Proof Theory" and "Logic Online Seminar" February 26, 2024 18:30

Organisations