今天我了解到阿里·拉里賈尼是一位模態邏輯專家。