PRS Logics