Showing changes from revision #2 to #3:
Added | Removed | Changed

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 2007. For special chapters and their authors see below in “Contributors.

Carnielli, Pizzi, Modalities and Multimodalities, Springer, 2008

Contributors

Yde Venema, website : algebraic- and coalgebraic aspects of modal logic. e.g §6 in the “handbook”.§6 in the "handbook" starting at p.331 in this book without a (global) list of contents.

Valentin Blackburn, Goranko van and Bentham, Martin Modal Otto. logic: A semantic perspective, “handbook” §5 §1 Model theory of modal logic

Valentin Goranko and Martin Otto. “handbook” §5 Model theory of modal logic.