Seminars: A. V. Kudinov, Complexity of non-normal logics and the logics with counting of axioms applications

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

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

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

Seminars "Proof Theory" and "Logic Online Seminar"
May 27, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

Complexity of non-normal logics and the logics with counting of axioms applications

A. V. Kudinov^ab

^a Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
^b National Research University Higher School of Economics, Moscow

*Video records:*
	MP4	2,066.8 Mb
	MP4	1,394.3 Mb

Number of views:
This page:	147
Video files:	38

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024