The modal logic of equilibrium models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

The modal logic of equilibrium models

Luis Fariñas del Cerro
  • Fonction : Auteur
  • PersonId : 1099274
  • IdRef : 030092485
Andreas Herzig

Résumé

Here-and-there models and equilibrium models were investigated as a semantical framework for answer set 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.
Fichier principal
Vignette du fichier
Frocos11Corr.pdf (127.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03470290 , version 1 (09-12-2021)

Identifiants

  • HAL Id : hal-03470290 , version 1

Citer

Luis Fariñas del Cerro, Andreas Herzig. The modal logic of equilibrium models. 8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146. ⟨hal-03470290⟩
20 Consultations
24 Téléchargements

Partager

Gmail Facebook X LinkedIn More