| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminars
"Proof Theory" and "Logic Online Seminar"
|
|||
|
|
|||
|
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 |
|||
|
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 |
|||