Multi_agent_systems

STIT logic

Definition

STIT stands for ‘See To It That’. It is a branch of modal logic used …