Icalp_2022_talk.md

Created in July 04, 2022

2022

I gave a talk at the Structure Meets Power Workshop at ICALP 2022, titled Path Predicate Modal Logic and its Comonadic Semantics. slides