Mohamad Sahade

According to our database, Mohamad Sahade authored at least 3 papers between 2005 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Terminating modal tableaux with simple completeness proof.

Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Proceedings of the Advances in Modal Logic 6, 2006

2005

LoTREC: Logical Tableaux Research Engineering Companion.

Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Modal Tableaux: Completeness vs. Termination.

Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005