<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Preservation of Obligations in a Temporal and Deontic Framework</article-title>
</title-group>

<author><a href="mailto:broersen@cs.uu.nl"><name>Jan Broersen</name></a></author>
<aff>Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands</aff>

<author><a href="mailto:brunel@irit.fr"><name>Julien Brunel</name></a></author>
<aff>Institut de Recherche en Informatique de Toulouse, Toulouse, France</aff>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic logics. We investigate some modifications of the semantics of the product in order to satisfy preservation properties, without loosing too much of the basic properties of the product. We arrive at a semantics in which we only consider ideal histories that share the same past as the current one, and that enables a characterization of the states in which the obligations propagate. These are the states where any obligation of a formula that concerns the present moment is not violated. When there are such violations, the deontic realm switches to a lower level of ideality.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0521_233174b34cbc72bd57aa8a501357dcd9</hpdf>
</fpdf>
</body>
</article>

