Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards.

Bartosz Bednarczyk, Emanuel Kieronski

Browse the full KR paper archive.