Deriving Inverse Operators for Modal Logic

Michell Guzman 1, 2 Salim Perchy 1, 2 Camilo Rueda 2, 3 Frank Valencia 1, 3, 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. We shall use spatial constraint systems to give an abstract characterization of the notion of normality in modal logic and to derive right inverse/reverse operators for modal languages. In particular, we shall identify the weakest condition for the existence of right inverses and show that the abstract notion of normality corresponds to the preservation of finite suprema. We shall apply our results to existing modal languages such as the weakest normal modal logic, Hennessy-Milner logic, and linear-time temporal logic. We shall discuss our results in the context of modal concepts such as bisimilarity and inconsistency invariance.
Type de document :
Communication dans un congrès
Augusto Sampaio; Farn Wang. Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. Springer, Lecture Notes in Computer Science, 9965, pp.214-232, 2016, Theoretical Aspects of Computing – ICTAC 2016. 〈10.1007/978-3-319-46750-4_13〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01328188
Contributeur : Frank D. Valencia <>
Soumis le : vendredi 21 octobre 2016 - 22:23:00
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Citation

Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia. Deriving Inverse Operators for Modal Logic. Augusto Sampaio; Farn Wang. Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. Springer, Lecture Notes in Computer Science, 9965, pp.214-232, 2016, Theoretical Aspects of Computing – ICTAC 2016. 〈10.1007/978-3-319-46750-4_13〉. 〈hal-01328188v2〉

Partager

Métriques

Consultations de la notice

310

Téléchargements de fichiers

122