Processing Nested Epistemic Expressions