Sequence Semantics for Modelling Reason-based Preferences

We study how the non-classical n-ary operator circle times, 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.