Videolibrary
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
Video Library
Archive
Most viewed videos
Search
RSS
New in collection
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2022
November 23, 2022
11:40–11:55
, Moscow, online
Инфинитарная логика действий с экспоненциальными модальностями
S. L. Kuznetsov
,
S. O. Speranski
Video records:
MP4
310.7 Mb
MP4
571.6 Mb
Number of views:
This page:
232
Video files:
56
Youtube:
https://youtu.be/ZbN21qHgQjo
Related articles:
Infinitary action logic with exponentiation
Stepan L. Kuznetsov, Stanislav O. Speranski
Ann. Pure Appl. Logic
, 2022,
173
:2
,
103057–33
Infinitary Action Logic with Multiplexing
Stepan L. Kuznetsov, Stanislav O. Speranski
Studia Logica
, 2023,
111
,
251–280
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024