今天我了解到阿里·拉里贾尼是一位模态逻辑专家。