The persistence principle over weak interpretability logic
From MaRDI portal
Publication:6561649
DOI10.1002/malq.202200020MaRDI QIDQ6561649
Sohei Iwata, Yuya Okawa, Taishi Kurahashi
Publication date: 25 June 2024
Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)
This page was built for publication: The persistence principle over weak interpretability logic