Spahn notes on modal logic (Rev #1)

This idea [that modal operators perform quantification without making use of explicit variables and binding], when expressed mathematically, has turned out to be the most significant milestone in the history of modal logic.

References

• Blackburn, van Benthem, Wolter, Handbook of modal logic, Elsevier, 2007