Escolar Documentos
Profissional Documentos
Cultura Documentos
Home Page
Title Page
Contents
JJ
II
Page 1 of 12
Go Back
Full Screen
Close
Quit
Examples of Modalities
necessarily true
known to be true
believed to be true
true in the true
i. Bondevik is prime-minister of Norway.
ii.There are 9 planets in the Solar system.
iii.The square root of 81 is 9.
ad(i)true now,will not be true in the future.
ad(ii)true now, may be true forever in the future is not necessarily true.
(it could be a dierent number)
ad(iii)true now, necessarily true and will be in the future.
Home Page
Title Page
Contents
JJ
II
Page 2 of 12
Go Back
Full Screen
Close
Quit
Semantics
Home Page
Title Page
Contents
JJ
II
Page 3 of 12
Go Back
Full Screen
Close
Quit
Title Page
Contents
JJ
II
Page 4 of 12
Full Screen
Set of Worlds : (W ,W , W ,W ,W )
Accessibilty relation
: { ( W , W ) , ( W ,W ) ,
(W ,W ),(W ,W )}
Labelling function : W (p, q, r), W (p, q, r)
W (p, q, r), W (p, q, r), W (p, q, r)
Quit
Close
Home Page
Title Page
Contents
(f1) (f2)
JJ
II
Page 5 of 12
(f1) (f2)
f1
[]f1
f1
Go Back
Full Screen
Close
Quit
Title Page
Contents
JJ
II
Page 6 of 12
Go Back
Full Screen
Close
Quit
Example of Semantics
Home Page
Title Page
Contents
JJ
II
Page 7 of 12
Go Back
Full Screen
Close
Quit
P []
T
T
T
T
T
T
T
T
F
T
[]
T
T
T
F
F
[][]P
T
T
T
F
F
Home Page
Title Page
i p L(w)
k |= F i k |= /F
k |= (F G) i k |= F and k |= G
k |= (F G) i k |= G or k |= F
k |= F G i k |= G,whenever we have k |= F
k |= F G i (k |= F i k |= G)
k |= []F i, for each y W with R(x, y) we have y |= F
k |= F i, there is y W such that R(x, y) and y |= F
k |= p i p is true in all worlds of k
k |=w p
w
Contents
JJ
II
Page 8 of 12
w
w
w
Go Back
Full Screen
Close
Quit
Kripke Structure K
Home Page
Title Page
Contents
JJ
II
Page 9 of 12
Hence proved.
Go Back
Close
Quit
contradiction.
T Structure
Home Page
Title Page
Contents
JJ
II
Hence proved
Page 10 of 12
Go Back
Full Screen
Close
p p
(p []p)
Quit
S4 Structure
Home Page
Title Page
Contents
JJ
II
Page 11 of 12
Go Back
Hence proved.
Full Screen
Close
Quit
p p
S5 Structure
Home Page
Title Page
Contents
JJ
II
Page 12 of 12
Go Back
Full Screen
Close
Quit