'There are many things that are not the case, but that we know could have been the case. I could have taken public transport to get to work instead of taking the bike. Having knowledge of these non-actual situations is crucial for our future planning, risk assessment, and counterfactual reasoning. I use tools of logic, cognitive science, and philosophy to try to understand how it is that we know what is possible and whether we can justify this knowledge.'