Kaplan on indexical logic