テンポラル論理
【てんぽらるろんり】
【tenporaruronri】
时序逻辑
テンポラル論理
【てんぽらるろんり】
【tenporaruronri】
时态逻辑