Title: Propositional extensions of L[subscript
Subjects: Infinitary languages, Symbolic and mathematical Logic