Второй тип языков имеет формальную логическую основу, то есть они имеют формальный синтаксис и семантику, и могут быть сопоставлены с существующим формальным языком, таким как логика первого порядка.
Второй тип языков имеет четко определенные правила построения и интерпретации и может быть сопоставлен с формальными языками, такими как логика первого порядка.