Multi-Agent Systems

STIT-logiikka

Definition

STIT tarkoittaa ‘See To It That’ (Varmista se, että). Se on modaali-logiikan …