izvor podataka: crosbi
!
Formal proofs using natural deduction for modal logic of social choice (CROSBI ID 657449)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa
Perkov, Tin
Formal proofs using natural deduction for modal logic of social choice // Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017. 2017. str. 10-11
Podaci o odgovornosti
Perkov, Tin
engleski
Formal proofs using natural deduction for modal logic of social choice
A sound and complete natural deduction system for modal logic of judgment aggregation is presented, with a particular motivation to formalize a classical proof of Arrow's Theorem.
natural deduction, modal logic, social choice
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
10-11.
2017.
objavljeno
Podaci o matičnoj publikaciji
Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
Podaci o skupu
Computational Aspects of Arguments and Logic (CAALC 2017)
predavanje
06.07.2017-07.07.2017
Beograd, Srbija
Povezanost rada
Povezane osobe
Povezane ustanove