On the relative succinctness of modal logics with union, intersection and quantification
Résumé
no abstract
Communication Dans Un Congrès
Année : 2014
Hans van Ditmarsch : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01273561
Soumis le : vendredi 12 février 2016-15:55:10
Dernière modification le : lundi 11 septembre 2023-17:41:19
Dates et versions
Identifiants
- HAL Id : hal-01273561 , version 1
Citer
Wiebe van Der Hoek, Petar Iliev. On the relative succinctness of modal logics with union, intersection and quantification. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, 2014, Unknown, Unknown Region. pp.341--348. ⟨hal-01273561⟩
Collections
53
Consultations
0
Téléchargements