TY  - RPRT
TI  - The modal logic of Reverse Mathematics
AU  - Carl Mummert
AU  - Alaeddine Saadaoui
AU  - Sean Sovine
PY  - 2014
DO  - 10.1007/s00153-015-0417-z
UR  - https://arxiv.org/abs/1401.0648
ID  - 1401.0648
ER  -