Transforming structures into logic

39 Views Asked by user204450 At 04 Apr 2026 - 1:15

Does anyone have any good examples or know where I could find examples of transforming simple structures from graph theory into predicate logic?

There are 1 best solutions below

Bumbble Comm On 21 Jan 2015 - 6:26 BEST ANSWER

For graphs, you can see :

Jouko Vaananen, Models and Games (2011), Ch.4 Graphs, page 35-on.