Introduction to temporal logic (Part I) Anders Moen Publication details Event: Hovedfagsseminar i logikk SLI Year: 2001 You are here: Home Publications Scientific lecture Introduction to temporal logic (Part I)