Abstract
The paper expands upon the work by Wang [4], who proposes a new framework based on quantifier-free predicate language extended by a new modality \(\exists x\Box \) and axiomatizes the logic over S5 frames. This paper gives the logics over K, D, T, 4, S4 frames with increasing and constant domains. And we provide a general strategy for proving completeness theorems for logics w.r.t. the increasing domain and logics w.r.t. the constant domain respectively.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Know-wh stands for verb know followed by a wh-question word.
- 2.
The rule name might seem a little odd, since the rule goes in the direction “\(\lnot \Box \)to\(\lnot \exists \Box \)”. But if we rewrite the rule by the converse-negative propositions, we will find that in a sense the direction is exactly “\(\Box \)to\(\exists \Box \)”.
- 3.
The condition for Re\(\exists \Box \) can be relaxed to “\(\varphi [y/x]\) is admissible and y is not free in \(\varphi \)”. To ease the presentation, here we strengthen the condition.
- 4.
- 5.
Note that S5 models must be constant domain models. In this section we do not talk about S5.
- 6.
In [4], the worlds of the canonical model is all the maximal consistent sets with \(\exists \)-property. The reason \(\exists \)-property works is that \(\vdash _{{\text {S5}}^{\mathrm {c}}_{\exists \Box }}(\exists x\Box \varphi \rightarrow \Box \varphi [y/x])\rightarrow \Box (\exists x\Box \varphi \rightarrow \Box \varphi [y/x])\). Based on this, we could find a unified witness for each \(\exists x\Box \varphi \), which ensures that the existence lemma works.
- 7.
S5 models must be constant domain models, thus \({\text {S5}}^{\mathrm {i}}_{\exists \Box }={\text {S5}}^{\mathrm {c}}_{\exists \Box }\).
References
Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen (1968)
Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, Milton Park (1996). https://doi.org/10.4324/9780203028100
Padmanabha, A., Ramanujam, R., Wang, Y.: Bundled fragments of first-order modal logic: (un)decidability. In: Proceedings of FSTTCS (2018)
Wang, Y.: A New Modal Framework for Epistemic Logic. In: Proceedings of TARK, pp. 493–512 (2017). https://doi.org/10.4204/EPTCS.251.38
Wang, Y.: A logic of goal-directed knowing how. Synthese 195(10), 4419–4439 (2016). https://doi.org/10.1007/s11229-016-1272-0
Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 499–533. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-62864-6_21
Xu, C., Wang, Y., Studer, T.: A logic of knowing why. Synthese 198(2), 1259–1285 (2019). https://doi.org/10.1007/s11229-019-02104-0
Acknowledgments
This work was supported by the NSSF grant 19BZX135 for the project Decidable Fragments of First-order Modal Logic. The author thanks Yanjing Wang for giving the author the ideas of the axiomations of these systems. The author thanks the anonymous reviewers for their insightful comments. In particular, one of the reviewers indicated that the results might be extended to a richer fragment.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Wang, X. (2021). Completeness Theorems for \(\exists \Box \)-Fragment of First-Order Modal Logic. In: Ghosh, S., Icard, T. (eds) Logic, Rationality, and Interaction. LORI 2021. Lecture Notes in Computer Science(), vol 13039. Springer, Cham. https://doi.org/10.1007/978-3-030-88708-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-88708-7_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-88707-0
Online ISBN: 978-3-030-88708-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)