Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: sequence semantics

Sortuj według:

Ogranicz wyniki do:

Sequence Semantics for Modelling Reason-based Preferences

Calardo E., Governatori G., Rotolo A.

Fundamenta Informaticae

2018

Vol. 158, nr 1/3

217--238

We 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.