* 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…
