property related logics