A semantics for obligations
Résumé
We give semantics and characterization for obligations, and a full integration of preferential rules into a modal logic context.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)