Video library: Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov, Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

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

Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 16, 2023 15:30–16:00, Zoom

Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

Irina Agadzhanian, Mikhail Rybakov, Dmitry Shkatov

*Supplementary materials:*
	Adobe PDF	406.1 Kb

Supplementary materials:

agadzhanian_mrybakov_shkatov.pdf (406.1 Kb)

Language: English

Registration to the website

Logotypes