"Circumscribed Time and Porous Time: Logics as a Way of Studying Temporality."

Melissa Mazmanian, Ingrid Erickson, Ellie Harmon (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics