13 citations · 17 across the 16 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
Bartosz Bednarczyk
We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of in…
cs.LO2023
On the Limits of Decision: the Adjacent Fragment of First-Order Logic
Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment general…
cs.LO2023
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Bartosz Bednarczyk, Julien Grange
Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-inv…