For a thorough survey of the history of formal modal logic and of the associated mathematics, see Robert Goldblatt (2006).
•
From the other direction, Jones might say, (3) "It is possible that Goldbach's conjecture is true; but also possible that it is false", and also (4) "if it is true, then it is necessarily true, and not possibly false".
English modal verbs | logic | Logic | Programmable logic controller | Louis Logic | Transistor–transistor logic | The Holy Modal Rounders | Solid State Logic | Logic Pro | Cirrus Logic | Postmodernism, or, the Cultural Logic of Late Capitalism | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | fuzzy logic | Formula (mathematical logic) | Burrows-Abadi-Needham logic | Bien Logic | Ω-logic | Valid Logic Systems | Twisted Logic Tour | Transistor-transistor logic | transistor–transistor logic | transistor-transistor logic | Three-valued logic | Three-state logic | Queens Logic | programmable logic controller |
After a post-doctorate at the Swiss Federal Institute of Technology in 2007, he joined CNRS where he studied and contributed to the field of modal logics, like the modal mu-calculus, that he used for modeling query languages, and allow for the automated reasoning about programs that manipulate structured data.
Passy and his team completed a study on modal logic, originally initiated by Aristotle, framing the theory of the necessary truths in the possible worlds – popular today as hybrid logic.
Lemmon was a pioneer of the modern approach to the semantics of modal logic, particularly through his collaboration with Dana Scott, but also became interested in the rival algebraic semantics of modal logic that follows more closely the kind of semantics found in the work of Tarski and Jònsson.