论部分递归函数的模态逻辑
计算机科学中的逻辑
2007-05-23 v1
摘要
已知经典命题逻辑相对于将联结词解释为集合运算的集合语义是可靠且完备的。本文通过一个新的二元模态扩展了命题语言，该模态在上述解释下对应于部分递归函数类型构造子。考虑了确定性函数和非确定性函数的情况，并为两者描述了语义完备的模态逻辑，同时确立了这些逻辑的可判定性。
引用
@article{arxiv.cs/0407031,
title = {On Modal Logics of Partial Recursive Functions},
author = {Pavel Naumov},
journal= {arXiv preprint arXiv:cs/0407031},
year = {2007}
}