Decidability Results on Plane Automata Searching Mazes. - Ryszard Danecki; Marek Karpinski (FCT, 1979)

Propositional Dynamic Logic with Strong Loop Predicate. - Ryszard Danecki (MFCS, 1984)

Nondeterministic Propositional Dynamic Logic with intersection is decidable. - Ryszard Danecki (Symposium on Computation Theory, 1984)

Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract). - Ryszard Danecki (MFCS, 1988)