Allwein, G., Harrison, W. L., & Andrews, D. (2013). Simulation Logic. Logic and Logical Philosophy, 23(3), 277–299. https://doi.org/10.12775/LLP.2013.027