Title: w-reguläre [omega-reguläre] Sprachen und temporale Aussagenlogik