Proving classical theorems of social choice theory in modal logic.
Giovanni CináUlle EndrissPublished in: Auton. Agents Multi Agent Syst. (2016)
Keyphrases
- modal logic
- social choice theory
- sequent calculus
- temporal logic
- inference rules
- epistemic logic
- classical logic
- conditional logic
- default logic
- situation calculus
- nonmonotonic logics
- modal operators
- dynamic logic
- artificial intelligence
- multi dimensional
- cooperative
- dynamic programming
- prime implicates
- domain knowledge