A Logic for Hyperproperties in Multi-Agent Systems.
Raven BeutnerBernd FinkbeinerPublished in: CoRR (2022)
Keyphrases
- multi agent systems
- computational logic
- normative systems
- coalition logic
- epistemic logic
- logic programming
- modal logic
- multi agent
- predicate logic
- autonomous agents
- classical logic
- coalition formation
- agent technology
- agent architecture
- logical framework
- deontic logic
- agent systems
- nonmonotonic logics
- agent oriented
- game theory
- formal theory
- multi valued
- trust model
- software agents
- agent platform
- cooperative