The modal logic of Reverse Mathematics - Carl Mummert; Alaeddine Saadaoui; Sean Sovine (2014)