An application of monodic first-order temporal logic to reasoning about knowledge | IEEE Conference Publication | IEEE Xplore