卡米拉·施温德;皮埃尔·西格尔 假设理论的模态逻辑。 (英文) Zbl 0814.03016号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 21,编号1-2,89-101(1994). 审核人:V.Shekhtman(莫斯科) MSC公司:03B45号 68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Schwind}和\textit{P.Siegel},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.21,No.1-2,89-101(1994;兹bl 0814.03016)
卡米拉·B·施文。 用状态逻辑表示动作。 (英文) Zbl 0404.68041号 AISB/GI人工智能会议记录,汉堡,1978,304-308(1979)。MSC公司:第68季度第65季度 03B60号 68T05型 03B45号 PDF格式BibTeX公司 XML格式