The logic of intentional objects