temporal logic language的意思|示意
美 / ˈtempərəl ˈlɔdʒik ˈlæŋɡwidʒ /
英 / ˈtɛmpərəl ˈlɑdʒɪk ˈlæŋɡwɪdʒ /
时序逻辑语言，时态逻辑语言