Text this: Logical and Computational Aspects of Model-Based Reasoning /