1) logout your navigatie must be a microflow in which you model a java action. There you can easily do Core.logout()
2) IMO, when other browsers have no problems, I think it is a bug Consider testing it in the latest version to see if mendix fixed it already. I know that a lot of IE problem are resolved not too long ago. If the problem persists in the latest version, I would file a bug support ticket.