On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
Mikhail Rybakov, Dmitry Shkatov |
Video records: |
![mp4](/fticons/mp4.svg) |
MP4 |
54.7 Mb |
Supplementary materials: |
![pdf](/fticons/pdf-files-icon.svg) |
Adobe PDF |
284.1 Kb |
Number of views: |
This page: | 91 | Video files: | 24 | Materials: | 20 |
|