Handlungstheoretische Semantik

Voraussetzungen und Prinzipien C7

TC12 a) KA  K(B,A)  KB

b) LA  K(B,A)  LB

c) LA  (K(B,A)  K(A  B))

d) LA  KB  (K(B,A)  K(A,B))

f) KA  KB  K(A,B)

g) KB  (K(B,A)  K(A,B))

h) LA  (K(A,B)  K(B,A))

i) KB  LA  K(B,A)

j) L(A  C)  (K(B,A)  K(B,A  C))

k) L(A  B)  (K(B,A)  K(C,B)  K(C,A))

l) L(A  C)  (K(B,A)  K(A  B,C))

m) LA  LB  (K(C,A v B)  K(C,A)  KI(C,B))

n) LA  (K(B,A)  L(A  B))

o) LA  (K(B,A)  K(C,B)  K(C,A))

p) LA  KA  (KB  (K(B,A)  K(B,A))

C.0.2.4 Intentionslogische Prinzipien

T.I1: I(X,f,A)  G(X,T(X,f))

T.I2: I(X,f,A)  G(X,A  T(X,f))  G(X,A  T(X,f))

T.I3: I(X,f,A)  P(X,A)

T.I4: I(X,f,A)  P(X,T(X,f))  P(X,T(X,f))

T.I5: I(X,f,A)  G(X,A)

T.I6: ...