時相論理
【じそうろんり】
【jisouronri】
时序逻辑
時相論理
【じそうろんり】
【jisouronri】
时态逻辑