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

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2022.70

zbMATH Keywords

bundled fragmentsdecidabilityfirst-order modal logictableaux

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(3)

• Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic
• Deciding the existence of interpolants and definitions in first-order modal logic
• Boxing some: axiomatizations of the -bundled fragment of first-order modal logic

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)