Learn More
This paper presents a new consequentialist deontic logic in which the relation of preference over sets of possible worlds and the relation of conditional dominance are both transitive. This logic validate the principle that absolute ought can be derived from conditional ought whenever the conditional statement is the agent's absolute ought. Ought about(More)
A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the single agent decision problem of the miners scenario. We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic(More)
  • Bo Yao, Xin Sun
  • 2004
Reliable control of pole placement was presented for linear systems with continuous gain actuator faults. When faults occur, the closed-loop poles of standard system are out of a specified sector region. However, the closed-loop poles of reliable system are still in a specified sector region not only when all actuators are operational, but also when some(More)
The aim of this article is to construct a deontic logic in which the free choice postulate [11] would be consistent and all the implausible result mentioned in [5] will be blocked. To achieve this we first developed a new theory of action. Then we build a new deontic logic in which the deontic action operator and the deontic proposition operator are(More)
This paper develops a new STIT based deontic logic, pessimistic utilitarian deontic logic, capable of analyzing the miners puzzle. The key idea of the semantics of this logic is: one set of possible worlds is better than another set of possible worlds iff the worst world in the first set is better than the worst world in the second. This semantics gives an(More)
In this paper we study how to create norms in games. We consider norms as deontic statements which are used to describe prescriptions made by certain randomized signals of which the usage is to guide agents' behavior. Such randomized signals are implemented from correlated equilibria in games. Our proposal belongs to the offline norm creation approach(More)