A State/Event Temporal Deontic Logic
A State/Event Temporal Deontic Logic
复制标题
状态/事件时间道义逻辑
DOI：
10.1007/11786849_9
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
M. Filali
中科院分区：
文献类型：
--
作者：
Julien Brunel;J. Bodeveix;M. Filali
本文研究的逻辑，结合道义和时间方面。首先给出了一个状态/事件时态形式，并定义了它的一个道义扩展，然后研究了时态维和道义维之间的相互作用。我们提出了一些逻辑性质，有关公式的道义和时间运营商嵌套，并讨论其直观的意义。我们特别关注有期限债务的性质，并定义了一个特定的算子来表达这一概念。
This paper studies a logic that combines deontic and temporal aspects. We first present a state/event temporal formalism and define a deontic extension of it. Then, we study the interaction between the temporal dimension and the deontic dimension. We present some logical properties, concerning formulas where deontic and temporal operators are nested, and discuss their intuitive meaning. We focus more particularly on the properties of obligation with deadline and define a specific operator to express this notion.