17 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Robert Goldblatt, Marcel Jackson
We show that strict deterministic propositional dynamic logic with intersection is highly undecidable, solving a problem in the Stanford Encyclopedia of Philosophy. In fact we show…