Logical Characterizations of Weighted Complexity Classes

Guillermo Badia, Manfred Droste, Carles Noguera +1

Fagin's seminal result characterizing $\mathsf{NP}$ in terms of existential second-order logic started the fruitful field of descriptive complexity theory. In recent years, there h…