Natural deduction for modal logic of judgment aggregation (CROSBI ID 233038)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Perkov, Tin
engleski
Natural deduction for modal logic of judgment aggregation
We can formalize judgments as (consistent sets of) logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow's impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As an example of derivation, a formal proof of Arrow's impossibility theorem is given.
natural deduction; modal logic; judgment aggregation; social choice
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
25
2016.
335-354
objavljeno
0925-8531
1572-9583
10.1007/s10849-016-9235-x
Povezanost rada
Matematika