Generalized bundled fragments for first-order modal logic

DOI10.4230/LIPICS.MFCS.2022.70MaRDI QIDQ6584074zbMATH OpenFDO

Authors Mo Liu, R. Ramanujam, Yanjing Wang

Publication date 6 August 2024

zbMATH Keywords

decidabilitytableauxfirst-order modal logicbundled fragments

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Generalized bundled fragments for first-order modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584074)