Allwein, Gerard, William L. Harrison, and David Andrews. 2013. “Simulation Logic”. Logic and Logical Philosophy 23 (3):277–299. https://doi.org/10.12775/LLP.2013.027.