(W, R, h) , . [F] [P], .
tRu, , t u, u t. (, tRu (t, u) Î R.)
R , tRu uRv : tRv ( ). :
1) M, t |= [F], M, u |= u Î W , tRu.
2) M, t |= [P], M, u |= u Î W , uRt.
3
:
1) M, t |= <F>, u Î W , tRu M, u |= .
2) M, t |= <P>, u Î W, uRt M, u |= .
. M, t |= M = (W, R, h) t Î W. , t,
M, t |= . , t M, t |= M, t |= .
4
:
1) , Ø ;
2) , Ø ;
3) , .
4) ;
5) Ø àØ;
6) Ø ( ) à( & Ø).
( ). :
( ) ( ).
. M = (W, R, h) , t Î W . M, t |= ( ). , t. , M, t |= M, t |= . u Î W ,
(t, u) Î R. M, t |= , M, u |= . , M, t |= |= ( ), , M, u |= . M, u |= M, u |= , M, u |= |= . .
, (), .
M = (W, R, h), tÎW. , . , .
( ). . (W, R), R (.. wRw w Î W).
. R . (W, R), tÎW M, t |= . , (W, R).
|
|
, , (W, R). t Î W. , (t, t) Î R. = (W, R, h), ( t)
h(p) = {u Î W: (t, u) Î R}.
, M, t |= . , , M, t |= . t Î h(p). , (t, t) Î R, .
5
, R Í W ´ W , (W, R) .
( ) ( ) . . . .