Coalition logic with individual, distributed and common knowledge
Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic have so far been missing. In this paper we provide se...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
Oxford University Press
2016
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/35768/ |