Pregled bibliografske jedinice broj: 844018
Natural deduction for modal logic of judgment aggregation
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 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 844018 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Natural deduction for modal logic of judgment aggregation
Autori
Perkov, Tin
Izvornik
Journal of logic, language and information (0925-8531) 25
(2016);
335-354
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
natural deduction; modal logic; judgment aggregation; social choice
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- Arts & Humanities Citation Index (A&HCI)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- MathSciNet
