Scifaro

中文

辩护逻辑具有强有限模型性质

计算机科学中的逻辑 2015-06-24 v1 逻辑

作者: Thomas Studer

在 arXiv 上查看 ↗ PDF ↗

摘要

我们观察到辩护逻辑享有一种强有限模型性质（有时也称为小模型性质）。因此，我们获得了不依赖于 Post 定理的辩护逻辑的判定性证明。

关键词

辩护逻辑强有限模型性质小模型性质判定性 Post定理

引用

@article{arxiv.1506.06933,
  title  = {Justification logic enjoys the strong finite model property},
  author = {Thomas Studer},
  journal= {arXiv preprint arXiv:1506.06933},
  year   = {2015}
}