Le deuxième type de langues a une base logique formelle, c'est-à-dire qu'elles ont une syntaxe et une sémantique formelles et peuvent être associées à une langue formelle existante, comme la logique du premier ordre.
Le deuxième type de langues a des règles de construction et d'interprétation bien définies et peut être adapté à des langues officielles, comme la logique du premier ordre.