zbMATH — the first resource for mathematics

Framed temporal logic programming. (English) Zbl 1131.68036
Summary: A projection temporal logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models – used to define the semantics of non-framed programs – are no longer appropriate. To deal with this, a minimal model theory is developed, using which the temporal semantics of framed programs is captured. The existence of a minimal model for a given framed program is demonstrated. A synchronous communication mechanism for concurrent programs is provided by means of the framing technique and minimal model semantics.

68N17 Logic programming
68Q55 Semantics in the theory of computing
Full Text: DOI