Interpolation properties for the bimodal provability logic \mathbf{GR}
From MaRDI portal
Publication:6459798
arXiv2311.10583MaRDI QIDQ6459798FDOQ6459798
Haruka Kogure, Taishi Kurahashi
Publication date: 17 November 2023
This page was built for publication: Interpolation properties for the bimodal provability logic $\mathbf{GR}$
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6459798)
