The nForum has moved to Zulip: modal logic.