标准 Gödel 模态逻辑不被 Gödel 辩护逻辑实现
逻辑
2019-07-11 v1
摘要
我们证明，由 Caicedo 和 Rodriguez 在 \cite{CR2009,CR2010} 中最初引入的标准 Gödel 模态逻辑，虽通过遗忘投影相关联，却不被基本的 Gödel 辩护逻辑所实现。
关键词
引用
@article{arxiv.1907.04583,
title = {Standard G\"odel modal logics are not realized by G\"odel justification logics},
author = {Nicholas Pischke},
journal= {arXiv preprint arXiv:1907.04583},
year = {2019}
}
备注
9 pages