用于 Chellas 条件逻辑 CK 与 Lewis 反事实逻辑 VC 的非分析表系统
逻辑
2021-06-02 v1 计算机科学中的逻辑
摘要
Priest 为 Chellas 的条件逻辑 Ck 提供了一种简单的表演算。我们提供若干规则，将其加入 Priest 的系统后，可得到用于 Chellas 的 CK 和 Lewis 的 VC 的表演算。然而，这些表系统的完备性依赖于割规则。
引用
@article{arxiv.1805.09446,
title = {Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC},
author = {Richard Zach},
journal= {arXiv preprint arXiv:1805.09446},
year = {2021}
}