Leon Horsten Hannes Leitgeb No Future. 259-265 2001 30 J. Philos. Log. 3 https://doi.org/10.1023/A:1017569601150 db/journals/jphil/jphil30.html#HorstenL01