The Logic of Indexicals