Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper08 | paper09 | paper10 »

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

• Bartosz Bednarczyk
• Emanuel Kieroński

PDF