Hiroya Kawai 关于双模系统LTOmega和LETOmega的完备性定理。 (英语) Zbl 0498.03013号 数学。日本。 26, 377-383 (1981). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 68号01 软件理论的一般主题 60年第68季度 规范和验证(程序逻辑、模型检查等) 03C75号 其他无穷逻辑 68问题65 抽象数据类型;代数规范 关键词:双模逻辑;克里普克语义学;并行程序;下一个算子与必然算子之间的交换律;莱蒙-斯科特-梅金森方法;无限合与析取 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},数学。日本。26、377--383(1981年;Zbl 0498.03013)