On Prior's three-valued modal logic Q | IEEE Conference Publication | IEEE Xplore