Introduction to temporal logic - Metalogic (Part II) Anders Moen Publikasjonsdetaljer Arrangement: Hovedfagsseminar i logikk SLI År: 2001 Du er her: Hjem Publikasjoner Vitenskapelig foredrag Introduction to temporal logic – Metalogic (Part II)