Bonjour,
En lisant un article de wikipedia (http://fr.wikipedia.org/wiki/Structure_de_Kripke), je rencontre encore une fois la notation.
Je comprends bien ce que cela signifie,est un sous ensemble de
.
Mais pourquoi? Pourquoi l'exposant ?
Il y a bien les applications, que l'on notepar exemple, mais quel rapport ? quelle logique ? Est-ce de la pure convention ?
Si vous pouviez m'eclairer..
Merci d'avance![]()
-----