Gundersen, L. 2003. The master argument and branching time. Logic and Logical Philosophy. 5, 5 (Oct. 2003), 49–60. DOI:https://doi.org/10.12775/LLP.1997.004.