非单调的逻辑(Non-monotonic logics) 在逻辑中,当一结论C能永真地从一组前提推论出来,也能在无论什么更多的前提被增加到原来永真的主目上都会永真地推论出来..
基于8个网页-相关网页
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
单射占优模型在非单调逻辑中具有重要的地位。
In nonmonotonic logic, injective preferential models play an important role.
为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
应用推荐