Dokończenie implementacji metody tablic semantycznych dla logiki temporalnej