| English | German |
| first-order logic | Prädikatenlogik erster Ordnung (Stufe) |
| first-order logic | Quantorenlogik erster Ordnung (Stufe) |
| first-order logic | Prädikatenkalkül erster Ordnung (Stufe) |
| First-order Logic Program | FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung) |
| first-order predicate logic | Prädikatenlogik erster Ordnung (Stufe) |
| first-order predicate logic | Quantorenlogik erster Ordnung (Stufe) |
| first-order predicate logic | Prädikatenkalkül erster Ordnung (Stufe) |
| second-order logic | Prädikatenlogik zweiter Ordnung (Stufe) |
| second-order logic | Quantorenlogik zweiter Ordnung (Stufe) |
| second-order logic | Prädikatenkalkül zweiter Ordnung (Stufe) |
| zero-order logic | Aussagenlogik |
| zero-order logic | Logik nullter Ordnung |