Title:  A Kripkean Semantics for Dynamic Logic Programming
Author:Jan Sefranek

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 KP associated with a generalized 
logic program P is introduced. It is shown that some 
paths in KP specify stable models of P and vice versa, 
to each stable model of P corresponds a path in KP . 
An operation on Kripke structures is defined: 
for Kripke structures KP and KU associated with P (the original
program) and U (the updating program), respectively, a Kripke 
structure KP + U is constructed. KP + 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.