00993nam--2200349---450-9900003498002033160034980USA010034980(ALEPH)000034980USA01003498020010306d1979----km-y0itay0103----baengDE||||||||001yyFirst-Order dynamic logicBerlinSpringer Verlag1979131 p.ill.24 cmLecture notes in computer science682001Lecture notes in computer science68001-------2001511.3HAREL,David543182ITsalbcISBD990000349800203316001 LNCS 687815001 LNCS00101424BKSCIPATTY9020010306USA01153720020403USA011643PATRY9020040406USA011624First-Order dynamic logic878552UNISA