Does anyone have an idea how can we represent certain properties of a graph using(adsbygoogle = window.adsbygoogle || []).push({});

second-order logic, versus fixed-point logic :

like saying that a graph has an even number of edges

I've been trying to find a way to solve this for the past two days !

Any help?

Anyone ? :yuck:

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Second-order and Fixed-point Logic: Describing Graphs

**Physics Forums | Science Articles, Homework Help, Discussion**