(e) Question suppl´ementaire : hW, Ri |=21(p→3p)
Essayer de trouver la plus grande classe de cadres o`u ces formules sont
valides.
2. Trouver une formule Atelle que pour tout K-cadre hW, Ri:hW, Ri |=A
ssi R1◦R1=∅
3. Question suppl´ementaire : Trouver une formule Atelle que pour tout K-
cadre hW, Ri:hW, Ri |=Assi card(R1(w)) ≤2 pour tout w∈W.
4 Logiques modales KT ,KT 4
1. Trouver un K-mod`ele pour 2(p∧ ¬2p).
2. Montrer que s’il existe un mod`ele avec une relation d’accessibilit´e transi-
tive (c.-`a-d. un K4-mod`ele) pour 2(p∧¬2p) alors la relation d’accessibilit´e
est vide : R(w) = ∅pour tout monde w.
3. Montrer que 2(p∧ ¬2p) est KD4-insatisfiable.
4. Montrer que 2(p∧ ¬2p) est KT -insatisfiable.
5 Logique de la connaissance S5n
Il y a deux agents Anne (a) et Ben (b). On tire deux nombres cons´ecutifs au
hasard, et on donne un nombre a Anne et l’autre a Ben. Anne a donc un papier
avec un nombre ai, et Ben a un papier avec un nombre bj, et chacun connait son
nombre, mais pas celui de l’autre. Utilisons un langage avec des atomes aiet bj,
o`u iet jsont des entiers naturels. aisignifie “Anne a le nombre i” et bjsignifie
“Anne a le nombre j”, et identifions un monde possible avec le couple hai, bji,
que nous abbr´evions i.j ; par exemple le monde ha14, b15 isera ´ecrit 14.13. Soit
3.2 le monde actuel.
1. Quelles sont les mondes possibles pour Anne ? pour Ben ?
2. Dans le monde 3.4, quelles sont les mondes possibles pour a? pour b?
3. Dessiner le mod`ele Mpour cette situation.
4. Montrer que
–M, (3.2) |=Kaa3
–M, (3.2) |=¬Kab2∧ ¬Ka¬b2
–M, (3.2) |=Ka¬Kba3
–M, (3.2) |=¬KaKba3∧ ¬KaKb¬a3
5. Est-ce que M, (3.2) |=CKa,b (¬a10 ∧ ¬b10) ? (argumenter)
6. Est-ce qu’il existe un itel qu’il est connaissance commune entre Anne et
Ben que leurs nombres sont inf´erieurs `a i? (argumenter)
7. Quel est le mod`ele M¬b4!r´esultant de l’annonce publique de ¬b4en M?
8. Montrer en utilisant les axiomes de la logique des annonces publiques que
–`P AL Ka(b2∨b4)→[¬b4!]Kab2
–`P AL (Kb¬b4∧ ¬Kba3)→[¬b4!]¬Kba3
2