Repository | Book | Chapter
(2016) The concept of time in early twentieth-century philosophy, Dordrecht, Springer.
Commentary
Reichenbach's verbal tenses in the context of discovery about computing systems
Guglielmo Tamburrini
pp. 253-257
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.
Publication details
DOI: 10.1007/978-3-319-24895-0_32
Full citation:
Tamburrini, G. (2016)., Commentary: Reichenbach's verbal tenses in the context of discovery about computing systems, in F. Santoianni (ed.), The concept of time in early twentieth-century philosophy, Dordrecht, Springer, pp. 253-257.
This document is unfortunately not available for download at the moment.