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