Relating Domain Languages to Logic

All the problems which we tackle in the book require us to avoid exposing some of the people involved in the design of models from the formal language used to reason about them. We have demonstrated a range of ways to do this, which we summarise below:

• Mapping Diagrams to Logical Expressions
• Describing Consequences of Inference with Diagrams
• Using Tabular Notation to Obtain Binary Relations
• Constrained Input of Natural Language Expressions
• Linking Logical Descriptions to Text
• About this document ...