Text this: Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.