A Kripkean Semantics for Dynamic Logic Programming Jan Sefranek Institute of Informatics, Comenius University 811 03 Bratislava, Slovakia e-mail: sefranek@fmph.uniba.sk Keywords: knowledge representation and reasoning, nonmonotonic reasoning, knowledge evolution, updates, dynamic logic programming, stable model, Kripke structure, dynamic Kripke structure Abstract: The main goal of the paper is to propose a tool for a semantic specification of program updates (in the context of dynamic logic programming paradigm). A notion of Kripke structure ${\cal K}_{P}$ associated with a generalized logic program $P$ is introduced. It is shown that some paths in ${\cal K}_{P}$ specify stable models of $P$ and vice versa, to each stable model of $P$ corresponds a path in ${\cal K}_{P}$. An operation on Kripke structures is defined: for Kripke structures ${\cal K}_{P}$ and ${\cal K}_{U}$ associated with $P$ (the original program) and $U$ (the updating program), respectively, a Kripke structure ${\cal K}_{P \oplus U}$ is constructed. ${\cal K}_{P \oplus U}$ specifies (in a reasonable sense) a set of updates of $P$ by $U$. There is a variety of possibilities for a selection of an updated program.