Generalized bundled fragments for first-order modal logic

From MaRDI portal
Publication:6584074