Zero-one laws for modal logic | IEEE Conference Publication | IEEE Xplore