The Logic of Time

Exploring the intersection of philosophy and logic, this work emphasizes the importance of logical methods in studying philosophical themes, moving beyond traditional poetic and essay forms. Influenced by notable scholars, the author reflects on tense logic and classical model theory, highlighting contributions from figures like Arthur Prior and Hans Kamp. The text acknowledges the valuable feedback from colleagues and students, as well as the artistic input from Bauke Mulder, culminating in a comprehensive examination of the logical study of time.