Sciweavers

70 search results - page 5 / 14
» Utilitarian Deontic Logic
Sort
View
CLIMA
2006
13 years 9 months ago
Acts of Commanding and Changing Obligations
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
Tomoyuki Yamada
DEON
2004
Springer
13 years 11 months ago
Conflicting Imperatives and Dyadic Deontic Logic
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
Jörg Hansen
JAPLL
2011
108views more  JAPLL 2011»
13 years 2 months ago
A deontic logic framework allowing for factual detachment
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
Christian Straßer
DEON
2006
Springer
13 years 11 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
DAGSTUHL
2007
13 years 9 months ago
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
Régis Riveret, Antonino Rotolo, Guido Gover...