Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract)
Keyword(s):
We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of a successor relation on the vertices of the graph is allowed, as long as the validity of formulas is independent on the choice of a particular successor. We show that when the degree is bounded, successor-invariant first-order logic is no more expressive than first-order logic.
Keyword(s):
Keyword(s):
Keyword(s):
1999 ◽
Vol Vol. 3 no. 3
◽
Keyword(s):
2005 ◽
Vol 70
(3)
◽
pp. 696-712
◽
2008 ◽
Vol 19
(01)
◽
pp. 205-217
◽
Keyword(s):
2009 ◽
Vol 74
(1)
◽
pp. 168-186
◽
Keyword(s):
Keyword(s):
Keyword(s):