Rozszerzenie o logikę temporalną - NIEDOKOŃCZONE