Mohamad Sahade

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Terminating modal tableaux with simple completeness proof. Advances in Modal Logic (2006)
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) (2005)
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX (2005)