Hirokazu Nishimura Sequential Method in Propositional Dynamic Logic. 377-400 1979 12 Acta Inf. db/journals/acta/acta12.html#Nishimura79