tense logic language

美[tɛns ˈlɑdʒɪk ˈlæŋɡwɪdʒ]英[tens ˈlɔdʒik ˈlæŋɡwidʒ]

[计] 时态逻辑语言

Examples