Toggle Main Menu Toggle Search

Open Access padlockePrints

Semantics of framed temporal logic programs

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper investigates semantics of framed temporal logic programs. To this end, a projection temporal logic and its executable subset are presented. Based on this language, a framing technique is introduced. The semantics of a non-framed program is well interpreted by the canonical model. However, since introducing a framing operator destroys monotonicity, a canonical model may no longer capture the intended meaning of a program. Hence, a minimal model theory is developed. Within this model, negation by default is used to manipulate frame operator. Further, the temporal semantics of framed programs is captured by means of the minimal models. The existence of a minimal model for a given framed program is also proved. An example is given to illustrate how the semantics of framed programs can be captured.

Publication metadata

Author(s): Duan ZH, Yang XX, Koutny M

Editor(s): Gabbrielli, M., Gupta, G.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Logic Programming: 21st International Conference (ICLP)

Year of Conference: 2005

Pages: 356-370

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer


DOI: 10.1007/11562931_27

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540292081