0-1 laws for infinitary logics | IEEE Conference Publication | IEEE Xplore