Abstract
Abstract
Sedlár and Vigiani [18] have developed an approach to propositional epistemic logics wherein (i) an agent’s beliefs are closed under relevant implication and (ii) the agent is located in a classical possible world (i.e., the non-modal fragment is classical). Here I construct first-order extensions of these logics using the non-Tarskian interpretation of the quantifiers introduced by Mares and Goldblatt [12], and later extended to quantified modal relevant logics by Ferenz [6]. Modular soundness and completeness are proved for constant domain semantics, using non-general frames with Mares–Goldblatt truth conditions. I further detail the relation between the demand that classical possible worlds have Tarskian truth conditions and incompleteness results in quantified relevant logics.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference24 articles.
1. Relevant identity
2. Substructural epistemic logics
3. [19] Segerber, K. (1971). An Essay in Classical Modal Logic. Ph.D. Thesis, Stanford University, Stanford.
4. Identity in Mares-Goldblatt Models for Quantified Relevant Logic
5. A general semantics for quantified modal logic;Goldblatt;Advances in Modal Logic,2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Epistemic Logics for Relevant Reasoners;Journal of Philosophical Logic;2024-08-29
2. One Variable Relevant Logics are S5ish;Journal of Philosophical Logic;2024-03-22
3. Hyperintensionality in Relevant Logics;Logic, Rationality, and Interaction;2023