|
Эта публикация цитируется в 16 научных статьях (всего в 16 статьях)
On provability logics with linearly ordered modalities
L. D. Beklemishevabc, D. Fernández-Duqued, J. J. Joostene a National Research University Higher School of Economics,
Moscow, Russia
b V. A. Steklov Mathematical Institute, RAS
c Moscow M.V. Lomonosov State University
d Department of Computer Science and Artificial Intelligence,
Universidad de Sevilla,
Seville, Spain
e Department of Logic, History and Philosophy of Science,
Universitat de Barcelona,
Barcelona, Spain
Поступила в редакцию: 19.10.2012
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/stlog2
|
Статистика просмотров: |
Страница аннотации: | 129 |
|