Intensional logic programming is an extension of logic programming based on intensional logic, which includes as special cases both temporal and modal logic programming. In [OW92], M. Orgun and W. W. Wadge provided a general framework for capturing the semantics of intensional logic programming languages. One key property involved in the construction of [OW92], is the monotonicity of intensional operators. In this paper we consider intensional logic programming from a game- theoretic perspective. In particular we define a two-person game and we demonstrate that it is equivalent to the semantics of [OW92]. More importantly, we demonstrate that the game is even applicable to intensional languages with non-monotonic operators. In this way we provide the first (to our knowledge) general semantic framework for capturing the semantics of non-monotonic intensional logic programming.
Bibtex: Galanaki et al. (2013)
Chrysida Galanaki, Christos Nomikos, and Panos Rondogiannis. Game semantics for non-monotonic intensional logic programming. In Logic Programming and Nonmonotonic Reasoning, pages 329–341. Springer, 2013. ↩