Some Exponential Lower Bounds on Formula-size in Modal Logic
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-01273568
Soumis le : vendredi 12 février 2016-15:55:36
Dernière modification le : lundi 11 septembre 2023-17:41:19
Dates et versions
Identifiants
- HAL Id : hal-01273568 , version 1
Citer
Hans van Ditmarsch, Jie Fan, Wiebe van Der Hoek, Petar Iliev. Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014, 2014, Unknown, Unknown Region. pp.139--157. ⟨hal-01273568⟩
Collections
80
Consultations
0
Téléchargements