Research position (2y) on formal methods for reasoning in social settings, Pisa (Italy)

Research focuses on themes at the crossroads of logic (especially, proof-theory), formal modelling in social sciences, and formal epistemology. Topics include group deliberation, belief revision and merging, judgment and preference aggregation, multi–agent non-monotonic reasoning, multi-agent epistemic and deontic logic.