AiML-ICTL 2000 Advances in Modal Logic and International Conference on Temporal Logic