基于树相继式演算的友谊认知逻辑公理化
计算机科学中的逻辑
2019-07-11 v3 逻辑
摘要
本文正面解决了一个公开问题，即是否可能为Seligman、Girard和Liu提出的友谊认知逻辑（EFL）提供一个希尔伯特系统。为寻找希尔伯特系统，我们首先引入了EFL的一个可靠、完备且无切割的树（或嵌套）相继式演算，它是Seligman的基本混合逻辑相继式演算与模态逻辑的树相继式演算的集成组合。然后我们将树相继式翻译为普通公式以明确EFL的希尔伯特系统，并最终证明我们的希尔伯特系统对于预期的二维语义是可靠且完备的。
引用
@article{arxiv.1704.07149,
title = {Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus},
author = {Katsuhiko Sano},
journal= {arXiv preprint arXiv:1704.07149},
year = {2019}
}
备注
24 pages, 1 figure