Modal Logic: An Introduction | Synapse