Modal Logic-Based Intelligent Agents