|
|
|
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 |
|
|