Spahn
notes on modal logic (Rev #2, changes)

Showing changes from revision #1 to #2: 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

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

  • Carnielli, Pizzi, Modalities and Multimodalities, Springer, 2008

Contributors

  • Yde Venema, website: algebraic- and coalgebraic aspects of modal logic. e.g §6 in the “handbook”.

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

Revision on February 16, 2013 at 03:03:11 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.