2 papers
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…
cs.LO2025
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…