首页> 外文期刊>Journal of logic and computation >Commands changing obligations
【24h】

Commands changing obligations

机译:命令改变义务

获取原文
获取原文并翻译 | 示例
       

摘要

We aim to present a dynamic deontic logic. This logic is an extension of Boolean Modal Logic in both language and semantics. This logic's language has a deontic operator, applied to actions, and two dynamic operators. In the logic's semantics, the deontic relation is defined on the set of finite sequences of states, called histories, and formulas are evaluated at the histories. The deontic operator describes obligations and freedoms of agents, whereas the two dynamic operators correspond to giving orders and permissions, which change agents' obligations and freedoms in different ways.
机译:我们旨在提出一种动态的宗法逻辑。该逻辑是布尔模态逻辑在语言和语义上的扩展。该逻辑的语言具有适用于动作的灵性运算符和两个动态运算符。在逻辑的语义学中,宗法关系是在一组有限的状态序列(称为历史记录)上定义的,公式是在历史记录中求值的。负责任的操作员描述了代理人的义务和自由,而两个动态操作员对应于发出命令和许可,这以不同的方式改变了代理人的义务和自由。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号