+Modal logic extends classical [logic](/wiki/logic) to express nuances like [necessity](/wiki/necessity) and possibility. It provides a formal way to reason about what must be true, could be true, or is known to be true across different 'possible worlds'.
+## See also
+- [Epistemology](/wiki/epistemology)
+- [Metaphysics](/wiki/metaphysics)
+- [Truth](/wiki/truth)
... 1 more lines