劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 模态动作逻辑中的分支和因果关系。 (英语) Zbl 0966.68196号 J.日志。计算。 10,第5号,625-662(2000)。MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Log。计算。10,第5号,625--662(2000;Zbl 0966.68196) 全文: 内政部
D.加巴伊。;佐丹奴,L。;A.马泰利。;北奥利韦蒂。;萨皮诺,M.L。 逻辑编程中的条件推理。 (英语) Zbl 0957.68014号 J.日志。程序。 44,编号1-3,37-74(2000)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人,J.Log。程序。44,编号1--3,37-74(2000;Zbl 0957.68014) 全文: 内政部