Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Natural deduction for modal logic of judgment aggregation (CROSBI ID 233038)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Perkov, Tin Natural deduction for modal logic of judgment aggregation // Journal of logic, language and information, 25 (2016), 335-354. doi: 10.1007/s10849-016-9235-x

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

Poveznice
Indeksiranost