Expressivity results for deontic logics of collective agency.
Allard M. TammingaHein DuijfFrederik Van De PuttePublished in: Synth. (2021)
Keyphrases
- classical logic
- computational properties
- expressive power
- modal logic
- deontic logic
- environmental protection
- collective intelligence
- nonmonotonic logics
- inference rules
- neural network
- data mining
- logic programming
- default logic
- collective behavior
- data sets
- temporal logic
- multi agent
- conditional logic
- case study
- knowledge base
- proof procedures
- intuitionistic logic
- propositional dynamic logic