2
Infinitary Logic
•
Allow infinite conjunctions, disjunctions:
•
•
•
Now restrict everything to just k variables:
x
1
, …, x
k
•
•
Finally:
Ç
i
2
I
f
i
,
Æ
i
2
I
f
i
L
1
,
w
L
k
1
,
w
L
w
1
,
w
=
[
k
¸
0
L
k
1
,
w