|
VIDEO LIBRARY |
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics Mikhail Rybakov, Dmitry Shkatov |
|||
Language: English |