Show simple item record

dc.contributor.authorSMITH, Clara
dc.contributor.authorROTOLO, Antonino
dc.contributor.authorSARTOR, Giovanni
dc.date.accessioned2011-01-24T14:49:54Z
dc.date.available2011-01-24T14:49:54Z
dc.date.issued2010-01-01
dc.identifier.issn1725-6739
dc.identifier.urihttp://hdl.handle.net/1814/15435
dc.description.abstractIn 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 within both particular norms and general legal principles, and also help in the detection of breaches of good faith and confidence.en
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.relation.ispartofseriesEUI LAWen
dc.relation.ispartofseries2010/16en
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjecthybrid modal logicen
dc.subjectdeontic logicen
dc.subjecttemporal reasoningen
dc.subjectdeadlinesen
dc.subjectmulti agent systemsen
dc.titleTemporal Reasoning and MASen
dc.typeWorking Paperen
eui.subscribe.skiptrue


Files associated with this item

Icon

This item appears in the following Collection(s)

Show simple item record