Algorithms for recognizing restricted interpolation over the modal logic S4

From MaRDI portal
Publication:2123084