Judgment aggregation in dynamic logic of propositional assignments.
Arianna NovaroUmberto GrandiAndreas HerzigPublished in: J. Log. Comput. (2018)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- modal logic
- propositional logic
- imperative programs
- reasoning about actions
- data aggregation
- propositional dynamic logic
- default logic
- rank aggregation
- agent programming
- probabilistic logic
- aggregation functions
- knowledge compilation
- knowledge representation
- default reasoning
- logic programming
- multi dimensional
- general purpose