Pregled bibliografske jedinice broj: 918525
Formal proofs using natural deduction for modal logic of social choice
Formal proofs using natural deduction for modal logic of social choice // Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
Beograd, Srbija, 2017. str. 10-11 (predavanje, nije recenziran, sažetak, ostalo)
CROSBI ID: 918525 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formal proofs using natural deduction for modal logic of social choice
Autori
Perkov, Tin
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, ostalo
Izvornik
Computational Aspects of Arguments and Logic (CAALC 2017) Beograd 6-7. 7. 2017
/ - , 2017, 10-11
Skup
Computational Aspects of Arguments and Logic (CAALC 2017)
Mjesto i datum
Beograd, Srbija, 06.07.2017. - 07.07.2017
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Nije recenziran
Ključne riječi
natural deduction, modal logic, social choice
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Ustanove:
Učiteljski fakultet, Zagreb,
Sveučilište u Zagrebu
Profili:
Tin Perkov
(autor)
