Documents 1 1 Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07.

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…

Documents Modal Logic

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