tableau calculus | BriefGPT

关键词tableau calculus

搜索结果 - 1

可驳斥的情态
本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。
PDF11 years ago