Declarative sematics for modal logic programs

Balbiani, Philippe and Fariñas del Cerro, Luis and Herzig, Andreas

Abstract:

In this paper we consider modal logics as programming languages. To modal programs we associate a declarative semantics represented by a tree which will be defined as the limit of a certain transformation on modal programs. This fixpoint represents the minimal Kripke model of the program. We give a procedural semantics based on SLD-resolution.

Bibtex-entry:


@InProceedings{BaFH-FGCS88,
  author = 	"Balbiani, Philippe and Fariñas del Cerro, Luis, and
		Herzig, Andreas", 
  title = 	"Declarative semantics for modal logic programs",
  booktitle = 	"Proc. Int. Conf. on Fifth Generation Computer Systems",
  year = 	"1988",   
  pages = 	"507--514"
}

http://www.irit.fr/~Andreas.Herzig