Logics for Multi-Agent Systems

GPTKB entity