RT Conference Proceedings
T1 The Logic of Time: from Aristotle to Computer Science
A1 Bresolin, Davide
K1 Filosofía
AB This short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the history of temporal logic to show how ideas developed by ancient and medieval philosophy have been rediscovered in modern times and applied to solve relevant problems in computer science.Part 1: An historical perspective on temporal logic• Synthesis: the nature of time is a central issue of classical and medieval phylosophy • Downfall: in the Renaissance the subject loses interest and is removed from the philo-sophical discussion • Rediscovery: in the 19th and 20th centory temporal logic become a central issue againPart 2: Time in Computer Science• Algorithms, states and computations • Imperative programs and Reactive programs • Temporal Logic for Computer Science: CTL and LTL • The satisfiability problem • The model checking problem
YR 2017
FD 2017-11-24
LK http://hdl.handle.net/10630/14837
UL http://hdl.handle.net/10630/14837
LA eng
NO Charla tipo conferencia-seminario dada para alumnos de un máster
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026