Visualization of a finite first order logic model

Abstract

Creating visualizations of nite rst order logic models can be very bene cial for users studying the models as it provides an additional aid for the user and makes it easier for the user to understand and comprehend the model. This thesis describes methods on how to visualize the di erent parts of the model, the domain, functions and predicates, and then combining them into a drawing for the user to look at. We will also provide methods on how to reduce a model using function and predicate properties in order to simplify the drawings we make of a model.