J.菲亚德罗。;T·迈鲍姆。 道义规范的时间推理。 (英文) Zbl 0731.03022号 J.日志。计算。 第1期,第3期,357-395(1991年). 本文介绍了一个用于建模行为的道义框架和用于推理系统安全性和活性等动态特性的时序逻辑。这个连接是通过一个结果操作符和对结果关系采用显式表示来建立的。审核人:E.Melis(萨尔布吕肯) 引用于14文件 MSC公司: 03B80号 逻辑的其他应用 68T27型 人工智能中的逻辑 03B60号 其他非经典逻辑 03B45号 模态逻辑(包括规范逻辑) 关键词:道义逻辑;时序逻辑;关于动态特性的推理;安全;活泼;后果运算符 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{T.Maibaum},J.Log。计算。1,第3号,357--395(1991;Zbl 0731.03022) 全文: 内政部