Formalizations of social choice theory in modal logic (CROSBI ID 666940)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa
Podaci o odgovornosti
Perkov, Tin
engleski
Formalizations of social choice theory in modal logic
Social choice theory is about aggregating a collective choice from given individual choices. It includes a study of strategic behavior in this context, such as declaring an insincere choice so that the outcome of aggregation becomes more preferable. Computational aspects of social choice theory include issues of decidability and complexity of e.g. computing winner of an election under a given voting rule, or regarding strategic issues, of computing a possibility to manipulate an election. To contribute to computational study of social choice, various logical formalizations are developed to reason about problems of social choice theory. This talk is a survey of some such formalizations, namely (some of) those which use modal logic.
social choice, modal logic
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
59-60.
2018.
objavljeno
Podaci o matičnoj publikaciji
Book of Abstracts, Logic and Applications (LAP 2018), Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, 24-28. 9. 2018
Podaci o skupu
Formal Reasoning and Semantics (FORMALS 2018), a satellite workshop of the conference Logic and Applications (LAP 2018)
predavanje
24.09.2018-28.09.2018
Dubrovnik, Hrvatska