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

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.

  • Bradfield, Stirling, “handbook” §12 Modal μ\mu-calculi

  • Sergei Artemov, “handbook” §16 Modal logic in mathematics. modal logics of proof, logics of space and dynamic systems, modal logics in set theory.

  • Van der Hoek, Pauly, “handbook” §20 Modal logic for games and information. Game theory.

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