Login / Signup
A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.
Giovanni Ciná
Ulle Endriss
Published in:
AAMAS (2015)
Keyphrases
</>
machine learning
modal logic
social choice
temporal logic
inference rules
epistemic logic
interactive theorem proving
situation calculus
classical logic
nonmonotonic logics
default logic
conditional logic
prime implicates
computational social choice
dynamic logic
linear logic
preference aggregation
model checking