A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://cadmus.eui.eu/bitstream/handle/1814/15435/LAW_2010_16.pdf;jsessionid=B9C83E721DBA9DBAD774BE7145CD30FB?sequence=1">the original URL</a>. The file type is <code>application/pdf</code>.
Temporal Reasoning and MAS
<span title="">2011</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tol7woxlqjeg5bmzadeg6qrg3e" style="color: black;">Social Science Research Network</a>
</i>
Preserved Fulltext
In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic. We focus on the combination of special-purpose logics: we provide a formal account in which a minimal temporalization helps in reasoning about time in an abstract way. We also explore a new variant of deontic tense logic by using a hybrid tense logic. The accounts provided allow to model temporal provisions
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.1785412">doi:10.2139/ssrn.1785412</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n4kj2gdti5chdms7vvljcujtqm">fatcat:n4kj2gdti5chdms7vvljcujtqm</a>
</span>
more »
... within both particular norms and general legal principles, and also help in the detection of breaches of good faith and confidence. Keywords hybrid modal logic, deontic logic, temporal reasoning, deadlines, multi agent systems 1 1.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201104205446/https://cadmus.eui.eu/bitstream/handle/1814/15435/LAW_2010_16.pdf;jsessionid=B9C83E721DBA9DBAD774BE7145CD30FB?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/7f/767f9bbea22f609e4ffcec0c354a637370b5b540.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.1785412">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ssrn.com
</button>
</a>