Modal reconstruction of blocks and modules in logic programming

Laura Giordano, Alberto Martelli

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Abstract

In this paper we aim at giving a reconstruction of the language with blocks defined in [6,8] by interpreting it within modal logic S4. The language is an extension of Horn clause logic obtained by allowing hypothetical implications D = > G (where G is a goal and D is a set of clauses local to G) both in goals and in clause bodies. This language is syntactically similar to the ones proposed in [5] and [11], but it has different visibility rules for local clauses, mainly static (or lexical) visibility rules as in conventional block structured programming languages. The language in [5] and [11] has a straightforward modal characterization, since it has been proved sound and complete w.r.t. intuitionistic logic, which can be interpreted within S4 modal logic. We will show that our language with static blocks can also be interpreted within modal logic S4 in a simple way and, therefore, S4 modal logic can be regarded as the unifying framework in which different languages with blocks can be expressed. This makes quite easy the task of integrating the different kind of blocks within a single language. Finally we will show that modal logics (more precisely multimodal logics) are also well suited for supporting the notion of module.

Lingua originaleInglese
Pagine239-253
Numero di pagine15
Stato di pubblicazionePubblicato - 1991
Pubblicato esternamente
EventoLogic Programming - Proceedings of the 1991 International Symposium - San Diego, CA, USA
Durata: 28 ott 19911 nov 1991

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???Logic Programming - Proceedings of the 1991 International Symposium
CittàSan Diego, CA, USA
Periodo28/10/911/11/91

Fingerprint

Entra nei temi di ricerca di 'Modal reconstruction of blocks and modules in logic programming'. Insieme formano una fingerprint unica.

Cita questo