17 citations · 18 across the 5 of their papers we have counts for
1 paper · 2 filters
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…