Intuïtionistische logica geniet van een groot aantal interpretaties op basis van computatie,informatie en topologie, waardoor het een natuurlijk kader is om te redeneren overdynamische processen waarin deze verschijnselen een cruciale rol spelen. Toch moet ereen grote leemte worden opgevuld met betrekking tot ons begrip van het computationelegedrag van intuïtionistische temporele logica. Het doel van dit project is om ons begripvan intuïtionistische temporele logica te versterken door hun modeltheorie te ontwikkelenop basis van dynamische topologische systemen, en hun bewijstheorie gebaseerd opprominente paradigma's zoals Gentzen-achtige berekeningen en cyclische bewijzen.