Judgment aggregation in dynamic logic of propositional assignments

DOI10.1093/logcom/exy024zbMath1444.03119OpenAlexW2886939961WikidataQ129428973 ScholiaQ129428973MaRDI QIDQ4612447

Umberto Grandi, Arianna Novaro, Andreas Herzig

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://oatao.univ-toulouse.fr/22669/7/novaro_22669.pdf

zbMATH Keywords

modal logicautomated reasoningsocial choice theorydynamic logiccomputational social choice

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Social choice (91B14)

Related Items (1)

Resource separation in dynamic logic of propositional assignments

This page was built for publication: Judgment aggregation in dynamic logic of propositional assignments