Video library: D. Shkatov, M. N. Rybakov, On relationship between complexity function and complexity of validity in propositional modal logic

Videolibrary

RUS ENG

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

Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 11:00–11:30, Logical Perspectives 2021 Workshop, Moscow, online

On relationship between complexity function and complexity of validity in propositional modal logic

D. Shkatov, M. N. Rybakov

Supplementary materials:

workshop_rybakov_shkatov.pdf (412.6 Kb) ,

workshop_rybakov_shkatov_slides.pdf (335.7 Kb)

Language: English