Visualisation and manipulation tools for Modal logic

摘要: In this thesis, an investigation into how visualisation and manipulation tools can provide better support for learners of Modal logic is described. Problems associated with learning are also researched. Seven areas topics in investigated, as the influence domain independent factors (e. g. motivation) on learning. Studies show that students find concepts such proofs systems difficult to learn, whilst possible worlds Modes fairly straightforward. Areas reference, belief accessibility relations fall between these extremes. Two roles representations reasoning identified: providing a concrete reason about, supporting process reasoning. Systems which make use complementary were found be more effective than either syntactic or diagrammatic traditionally used teach logic. A review software highlights two important features: examples, automation routine tasks. environment was designed incorporated these. The developed using adapted version Smalltalk's Model-View-Controller mechanism, incorporates representations, enhance by direct manipulation. further study investigates added benefits tool, opposed same representation but working pen paper. This confirms importance 'concrete' content minimising learners' cognitive load. Performance measures users learnt more, had deeper style learning, less abstract their counterparts & research shows way studying logic, incorporate will additional learners.