A Lower Complexity Bound for Propositional Dynamic Logic with Intersection

Open Webpage

Martin Lange

Published: 2004, Last Modified: 26 May 2025Advances in Modal Logic 2004EveryoneRevisionsBibTeXCC BY-SA 4.0