A modal logic for observation-based knowledge representation