@article{e96b5ac63d1a47a785d69f5780c1c7d6,
title = "The modal logic of Reverse Mathematics",
keywords = "mathematics, Modal logic, strict implication, automated reasoning",
author = "Carl Mummert and Alaeddine Saadaoui and Sean Sovine",
note = "Mummert, C., Saadaoui, A. \& Sovine, S. The modal logic of Reverse Mathematics. Arch. Math. Logic 54, 425–437 (2015). https://doi.org/10.1007/s00153-015-0417-z",
year = "2015",
month = jan,
day = "1",
language = "American English",
journal = "Mathematics Faculty Research",
}