Hiroya Kawai 时序逻辑的完备性定理。 (英语) Zbl 0634.03011号 Z.数学。Logik Grundlagen数学。 34,第5期,393-398(1988). 审核人:H.卡瓦伊 MSC公司:03B45号 03B70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},Z.数学。Logik Grundlagen数学。34,第5号,393--398(1988;Zbl 0634.03011) 全文: 内政部
M.E.萨博。 可变真理。 (英语) Zbl 0534.03011号 Z.数学。Logik Grundlagen数学。 30, 401-414 (1984).MSC公司:03B60号 03B45号 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Szabo},Z.数学。Logik Grundlagen数学。30401-414(1984年;兹bl 0534.03011) 全文: 内政部
戴维·梅金森 强全时模态逻辑中一个变量中的非等价公式。 (英语) Zbl 0467.03012号 Z.数学。Logik Grundlagen数学。 27, 111-112 (1981).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Makinson},Z.数学。Logik Grundlagen数学。27111-112(1981年;Zbl 0467.03012) 全文: 内政部