Multi-Agent Systems

STIT-logik

Definition

STIT står för ‘See To It That’ (Se till att). Det är en gren av modallogiken …