守护逻辑-一流百科

守护逻辑

简介守护逻辑是参与选择的动态逻辑的选择集，其结果是有限的。守护逻辑的一个简单例子如下：如果X是真的，那么Y，否则Z可以用动态逻辑表示为(X?;Y)∪(~X?;Z)。...