Keyphrases
- coalition logic
- reasoning about actions
- transition systems
- logical framework
- multi agent systems
- model checking
- modal logic
- classical logic
- logic programming
- cl pc
- coalition formation
- delay insensitive
- sound and complete axiomatization
- asynchronous circuits
- human actions
- predicate logic
- action theories
- action sequences
- action descriptions
- automated reasoning
- scheduling problem