Slide 1 1 1 Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07 Slide 2 2 2 Today A short review Multi-Modal Logic First Order Modal Logic Applications of Modal Logic: Artificial…
