| |
Joosten, Joost J
|
| Statistics Math-Net.Ru |
| Total publications: |
1 |
| Scientific articles: |
1 |
| Presentations: |
1 |
| Number of views: |
| This page: | 256 | | Abstract pages: | 188 |
|
| E-mail: |
|
|
 |
https://www.mathnet.ru/eng/person128681 |
 |
List of publications on Google Scholar |
|
|
|
|
Publications in Math-Net.Ru |
Citations |
|
2014 |
| 1. |
L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”, Studia Logica, 102:3 (2014), 541–566     |
16
|
|
| Presentations in Math-Net.Ru |
| 1. |
Turing jumps again
J. Joosten
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 17, 2017 10:35
|
|
|
| Organisations |
|
| |
Contact us: