La logique modale des modèles d’équilibre
Résumé
Here-an-there models and equilibrium models were investigated as a semantical framework for answer ensemble programming by Pearce, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is indirect in that the notion of satisfiability is
defined in terms of satisfiability in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language into which the language of equilibrium logic can be embedded.
Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une sémantique directe de la logique de l’équilibre en termes d’un langage modal dans lequel le langage de la logique de l’équilibre peut être traduit.