杰西·佩萨诺夫斯基 模态命题演算的演绎定理以莱蒙的方式形式化。一、。 (英语) Zbl 0278.02016号 代表数学。逻辑 1, 1-12 (1973). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) PDF格式BibTeX公司 XML格式引用 \textit{J.Perzanowski},众议员数学。逻辑1,1--12(1973;Zbl 0278.02016)