The modal logic of reverse mathematics
From MaRDI portal
Publication:2339962
DOI10.1007/s00153-015-0417-zzbMath1369.03102arXiv1401.0648OpenAlexW2009540771MaRDI QIDQ2339962
Carl Mummert, Alaeddine Saadaoui, Sean R. Sovine
Publication date: 14 April 2015
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.0648
Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30)
Cites Work
This page was built for publication: The modal logic of reverse mathematics