In this paper we define a neighbourhood semantics for quantified modal relevant logics. These models employ the Mares-Goldblatt [16] interpretation of the quantifiers, and are the natural combination of the semantics found in [27] and [9]. Modular soundness and completeness proofs are given in combination with an procedure for producing semantic conditions from axiom and rule schemes. We further show a model-wise equivalence between fully augmented neighbourhood models and relational models. Finally, we employ the constructed semantics to obtain an independence result surrounding the Barcan formulas, and their relation to various Augmentation principles.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quantified Modal Relevant Logics II: Welcome to the Neighbourhood

  • Nicholas Ferenz,
  • Andrew Tedder

摘要

In this paper we define a neighbourhood semantics for quantified modal relevant logics. These models employ the Mares-Goldblatt [16] interpretation of the quantifiers, and are the natural combination of the semantics found in [27] and [9]. Modular soundness and completeness proofs are given in combination with an procedure for producing semantic conditions from axiom and rule schemes. We further show a model-wise equivalence between fully augmented neighbourhood models and relational models. Finally, we employ the constructed semantics to obtain an independence result surrounding the Barcan formulas, and their relation to various Augmentation principles.