Valentin Goranko. Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. In Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani, editors, 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. pages 3-4, IEEE Computer Society, 2012. [doi]
Abstract is missing.