Mental Objects And Modal Logic In Ai