Assertion: infinitary logic | /r/HasProperty | denoted l αβ
Facets:
Source sentences:
text: The most commonly studied infinitary logics are denoted L αβ , where α and β are each either cardinal numbers or the symbol ∞.