Commentary
Reichenbach's verbal tenses in the context of discovery about computing systems
pp. 253-257
in: Flavia Santoianni (ed), The concept of time in early twentieth-century philosophy, Berlin, Springer, 2016Abstract
This contribution analyzes present applications of temporal logics that are meaningfully related to Hans Reichenbach's groundbreaking work on verbal tenses and their underlying logical structure. Specifically, some formal methods in theoretical computer science will be discussed that enable one to advance empirical hypotheses and to make predictions about the temporal evolution of computing system's behaviors.
