Repository | Book | Chapter
Commentary
Reichenbach's verbal tenses in the context of discovery about computing systems
pp. 253-257
Abstract
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
Published in:
Santoianni Flavia (2016) The concept of time in early twentieth-century philosophy: a philosophical thematic atlas. Dordrecht, Springer.
Pages: 253-257
DOI: 10.1007/978-3-319-24895-0_32
Full citation:
Tamburrini Guglielmo (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, 253–257.