activity
20162026
most citedSatisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

13 citations · 17 across the 16 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LO2022

Order-Invariance of Two-Variable Logic is coNExpTime-complete

Bartosz Bednarczyk

We establish coNExpTime-completeness of the problem of deciding order-invariance of a given two variable first-order formula, improving and significantly simplifying coTwoNExpTime…

cs.LO2022

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)

Bartosz Bednarczyk, Reijo Jaakkola

We consider the family of guarded and unguarded ordered logics, that constitute a recently rediscovered family of decidable fragments of first-order logic (FO), in which the order…