Naslov
Formalizations of social choice theory in modal logic

Autori
Perkov, Tin

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, ostalo

Izvornik
Book of Abstracts, Logic and Applications (LAP 2018), Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, 24-28. 9. 2018 / - , 2018, 59-60

Skup
Formal Reasoning and Semantics (FORMALS 2018), a satellite workshop of the conference Logic and Applications (LAP 2018)

Mjesto i datum
Dubrovnik, Hrvatska, 24.09.2018. - 28.09.2018

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
social choice, modal logic

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA