The Modal Logic S4F, the Default Logic, and the Logic Here-and-There