Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic

DOI10.1007/978-3-030-88708-7_20OpenAlexW3202957968MaRDI QIDQ2148841

Xun Wang

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_20

zbMATH Keywords

axiomatizationfirst-order modal logicbundled fragments

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Are bundles good deals for first-order modal logic? ⋮ Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)

Cites Work

• A logic of goal-directed knowing how
• A logic of knowing why
• Beyond Knowing That: A New Generation of Epistemic Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic