Nissim Francez

• Fairness
• Unification grammars
• Proof-theoretic semantics
• View of Connexive Logics