Francine Berman Nonstandard model in propositional dynamic logic. 81-85 1980 conf/lop/1980 Logic of Programs db/conf/lop/lop1980.html#Berman80 https://doi.org/10.1007/3-540-11981-7_4