Partial fixed-point logic