Tag: second-order logic

  1. Fagin's Theorem: NP and Existential Second-Order Logic 2024-03-01