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 2025 · cs.LOShow all

1 paper · 2 filters

cs.LO2025

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)

Bartosz Bednarczyk, Emanuel Kieroński

We study the Guarded Fragment with Regular Guards (RGF), which combines the expressive power of the Guarded Fragment (GF) with Propositional Dynamic Logic with Intersection and Con…