Creating a sandbox for multi-relation Modal Logic

Abstract

Modal Logic is a framework used to reason about relational structures, with these struc- tures being widely used for modelling various types of phenomena in many different disciplines, including but not limited to computer science, linguistics and philosophy. In this thesis, we aim to create a user-friendly visual web tool for modelling and reason- ing about relational structures used within Modal Logic, as well as enabling the user to execute model-changing actions. While existing online tools allows for reasoning about multi-relation models to a certain extent, we have extended the modal language available, as well as increased focus on notions and dynamics in models with multi- ple relations. We hope that this can be a useful program for both students, teachers and researchers within Modal Logic. More precisely, we expect that this tool can be used by students (e.g to understand the semantic interpretation of formulas), by teach- ers (e.g., to design interesting and visually compelling examples) and researchers (e.g., to explore and experiment with new concepts within Modal Logic).