和关系符号，除了有元数外，它们的每个参数也都会指明需哪个类型。多类逻辑的一个例子为平面欧氏几何：具有两个类型（点和线），有对点的等式关系符号、对线的等式关系符号，及一个以一个点变数与一个线变数为参数的二元重合关系"E"。这个语言的预期解释有其范围为欧氏平面上所有点的点变数、范围为平面上所有线的线变数，及重合关系"E"("p","l") 会成立，若且唯若点"p" 在线"l" 上。
高阶谓词逻辑.高阶谓词逻辑的形式语言看起来很像一阶逻辑的形式语言。不同之处在于，高阶谓词逻辑有许多不