Coalition and Group Announcement Logic.

Rustam Galimullin Natasha Alechina

Published in: TARK (2017)

Keyphrases

cooperative
modal logic
coalition formation
group members
automated reasoning
databases
machine learning
set theory
epistemic logic