temporal logic is used for reasoning in concurrent systems ndashaka kukugerageza the shakti of mahur is addressed as renuka devi namushimishije kubera ibikorwa nkibi