Lev Beklemishev. REFLECTION ALGEBRAS FOR THEORIES OF ITERATED TRUTH PREDICATES
Follow the link
Lev Beklemishev (National Research University Higher School of Economics)
REFLECTION ALGEBRAS FOR THEORIES OF ...
4 months ago 00:51:33 1
7 months ago 00:03:19 1
8 months ago 00:03:32 1
10 months ago 01:04:17 11
10 months ago 00:52:51 19
2 years ago 00:51:56 1
2 years ago 00:03:47 1
3 years ago 00:57:30 1
3 years ago 01:17:01 1
4 years ago 01:31:23 31
4 years ago 00:59:51 10
5 years ago 00:55:14 45
6 years ago 00:13:43 23
6 years ago 00:10:56 69
8 years ago 01:21:29 27
![[Коллоквиум]: Строго позитивные фрагменты модальных и дескрипционных логик](https://sun9-72.userapi.com/O2qVYylu3ZTDZLIjC01hWR160e7eKIbh_W9KqQ/DN6aY_8fQv8.jpg)