Show simple item record

dc.contributor.authorCalardo, Erica
dc.contributor.authorGovernatori, Guido
dc.contributor.authorRotolo, Antonino
dc.date.accessioned2019-05-29T12:48:09Z
dc.date.available2019-05-29T12:48:09Z
dc.date.issued2018
dc.identifier.issn0169-2968
dc.identifier.doi10.3233/FI-2018-1647
dc.identifier.urihttp://hdl.handle.net/10072/383078
dc.description.abstractWe study how the non-classical n-ary operator ⊗, originally intended to capture the concept of reparative obligation, can be used in the context of social choice theory to model preferences. A novel possible-world model-theoretic semantics, called sequence semantics, was proposed for the operator. In this paper, we propose a sound and complete axiomatisation of a minimal modal logic for the operator, and we extend it with axioms suitable to model social choice consistency principles such as extension consistency and contraction consistency. We provide completeness results for such extensions.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherIOS PRESS
dc.relation.ispartofpagefrom217
dc.relation.ispartofpageto238
dc.relation.ispartofissue1-3
dc.relation.ispartofjournalFUNDAMENTA INFORMATICAE
dc.relation.ispartofvolume158
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchcode0802
dc.subject.fieldofresearchcode0801
dc.titleSequence Semantics for Modelling Reason-based Preferences
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionPost-print
gro.rights.copyright© 2018 FUNDAMENTA INFORMATICAE. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal website for access to the definitive, published version.
gro.hasfulltextFull Text
gro.griffith.authorGovernatori, Guido


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record