Seminars: A. V. Kudinov, On Strictly Positive Fragments of Modal Logics with Confluence

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"
November 14, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

On Strictly Positive Fragments of Modal Logics with Confluence

A. V. Kudinov

Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow

*Video records:*
	MP4	230.3 Mb

Number of views:
This page:	166
Video files:	33

Abstract: The talk is based on the paper A. Kudinov, S. Kikot. On Strictly Positive Fragments of Modal Logics with Confluence. Mathematics. 2022. Vol. 10. No. 19. https://www.mdpi.com/2227-7390/10/19/3701

Registration to the website

Logotypes