Stalnaker_Logic.Stalnaker_Logic