A Logic of Finite Syntactic Epistemic States