论文标题
邻里模型中的比较合理性：公理系统和续有骨
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
论文作者
论文摘要
我们在邻里模型上介绍了一个比较合理的逻辑家族，从而将刘易斯的比较合理性操作员概括为球体模型。我们为逻辑提供公理系统，并证明它们相对于语义的声音和完整性。 Then, we introduce two kinds of analytic proof systems for several logics in the family: a multi-premisses sequent calculus in the style of Lellmann and Pattinson, for which we prove cut admissibility, and a hypersequent calculus based on structured calculi for conditional logics by Girlando et al., tailored for countermodel construction over failed proof search.我们的结果构成了配备比较合理性操作员的统一证明理论框架定义的第一步。
We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom systems for the logics, and prove their soundness and completeness with respect to the semantics. Then, we introduce two kinds of analytic proof systems for several logics in the family: a multi-premisses sequent calculus in the style of Lellmann and Pattinson, for which we prove cut admissibility, and a hypersequent calculus based on structured calculi for conditional logics by Girlando et al., tailored for countermodel construction over failed proof search. Our results constitute the first steps in the definition of a unified proof theoretical framework for logics equipped with a comparative plausibility operator.
