Ryszard Danecki

Propositional Dynamic Logic with Strong Loop Predicate

Ryszard Danecki, 1984, MFCS.

Nondeterministic Propositional Dynamic Logic with intersection is decidable

Ryszard Danecki, R. Danecki, 1984, Symposium on Computation Theory.

Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract)

Ryszard Danecki, 1988, MFCS.

Decidability Results on Plane Automata Searching Mazes

Marek Karpinski, Ryszard Danecki, 1979, FCT.