Neighbourhood semantics and axioms for strategic fragment of classical stit logic

Daniil Khaitovich

STIT (sees to it that) semantics is one of the most prominent tools in modal logic of agency, widely used among both philosophers and responsible AI scholars. STIT logic surveys th…