n. morphology
In fact, the modern logics firstly established areon mathematics, while modern modal logics are based on the latter, and devided intotwo sides: syntax and semantics.
而现代模态逻辑是在现代逻辑中首先出于后一目的而建立的逻辑,分为语形和语义两方面。
参考来源 - 古典命题逻辑与模态命题逻辑·2,447,543篇论文数据,部分数据来源于NoteExpress
当时欧洲各地区都讲克里奥尔语形式的拉丁语。
Creolized forms of Latin were spoken in various parts of Europe.
闽语是最多样化的,它在邻国有许多不同的口语形式。
Min group is the most diverse, with many different spoken forms used in neighbouring countries.
他的印度长袍与他流利的英语形成了奇特的对照。
应用推荐