Counterfactual Demo Play

Can you navigate your space ship to the right world without your evil copilot getting in the way?

The backdrop of the game are counterfactual modal logics following David Lewis. His systems of possible worlds are turned into planets between one can travel. Formulas appear as flight plans. The game mechanics thus encode the evaluation game for counterfactual formulas.