弗兰克·芬宁；罗文·戴维斯 模态逻辑的判断重建。 （英语） 兹比尔0997.03020 数学。结构。计算。科学。 11，第4期，511-540（2001）. 作者小结：我们根据马丁·洛夫区分判断和命题的方法，重新考虑了模态逻辑的基础。我们对必要性和可能性给出了建设性的意义解释，这为直觉模态逻辑产生了一个简单而统一的自然演绎系统，该系统不会表现出其他建议中发现的异常。我们还对lax逻辑进行了新的表述，发现lax情态已经可以用可能性和必要性来表达了。通过对模态逻辑中证明的计算解释，我们进一步获得了莫吉一元语言的一种新形式。审核人：瓦伦丁·F·戈兰科（约翰内斯堡） 引用于2评论引用于68文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 03财年03 一般证明理论（包括证明理论语义） 第68季度55 计算理论中的语义学 03B22号 抽象演绎系统 关键词：模态逻辑；判决；直觉模态逻辑；松散逻辑；莫吉的一元元语言；自然扣除 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}和\textit{R.Davies}，数学。结构。计算。科学。11，第4号，511--540（2001；Zbl 0997.03020） 全文： 内政部