Weak models of distributed computing, with connections to modal logic