{"type":"ScholarlyArticle","title":"Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract)","authors":[{"name":"Julien Grange","slug":"julien-grange","given":"Julien","family":"Grange","affiliation":""}],"abstract":"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.\r\nWe show that when the degree is bounded, successor-invariant first-order logic is no more expressive than first-order logic.","doi":"10.24963/ijcai.2021/649","url":"https://ijcai.org/proceedings/2021/649","pdf":"https://ijcai.org/proceedings/2021/0649.pdf","markdown":"https://ijcai.org/proceedings/2021/649.md","bibtex":"https://ijcai.org/proceedings/2021/bibtex/649","volume":{"slug":"2021","title":"Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2021","url":"https://ijcai.org/proceedings/2021/","year":2021,"location":"Montreal","dates":"19-27 August 2021","editors":"Prof. Zhi-Hua Zhou","isbn":"978-0-9992411-9-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2021"},"section":"Sister Conferences Best Papers","track":"Sister Conferences Best Papers","number":649,"pages":{"first":4775,"last":4779},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}