Infinitary logic
= Infinitary logic
{wiki}
<Infinitary logic> permits infinitary syntactic operations, such as infinite conjunctions, together with an interpretation of its formulas. The <infinitary language> $L_{\kappa,\lambda}$ specifies the permitted conjunction and quantifier lengths.