Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. - Abir Nour (Math. Log. Q., 1999)

Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini. - Abir Nour (Math. Log. Q., 2000)

The Tableau Method for a Logical System Based on a Finite Poset. - Abir Nour (J. Appl. Non Class. Logics, 2002)

Propositional mixed logic: its syntax and semantics. - Karim Nour; Abir Nour (J. Appl. Non Class. Logics, 2003)