A modal logic for subjective default reasoning | IEEE Conference Publication | IEEE Xplore