Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: On the uniform one-dimensional fragment
(Submitted on 6 Apr 2016 (v1), last revised 19 Apr 2023 (this version, v3))
Abstract: The uniform one-dimensional fragment of first-order logic, U1, is a formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its relationship to description logics designed to accommodate higher arity relations, with particular attention given to DLR_reg. We also define a description logic version of a variant of U1 and prove a range of new results concerning the expressivity of U1 and related logics.
Submission history
From: Antti Kuusisto [view email][v1] Wed, 6 Apr 2016 16:03:42 GMT (29kb)
[v2] Thu, 7 Apr 2016 15:09:02 GMT (29kb)
[v3] Wed, 19 Apr 2023 17:46:40 GMT (32kb)
Link back to: arXiv, form interface, contact.