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 ...