Sökning: "higher-order quantifiers and operators"
Hittade 1 avhandling innehållade orden higher-order quantifiers and operators.
1. Lindström quantifiers and higher-order notions on finite structures
Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER
Resultatsidor:
1