Commune · Savoirs
S5
Normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic. It is a normal modal logic, and one of the oldest systems of modal logic of any kind.
Sur Wikipédia
Texte en anglais Pas encore d'article dans ta langue : extrait en anglais.
In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic. It is a normal modal logic, and one of the oldest systems of modal logic of any kind. It is formed with propositional calculus formulas and tautologies, and inference apparatus with substitution and modus ponens, but extending the syntax with the modal operator necessarily ◻ {\displaystyle \Box } and its dual possibly ◊ {\displaystyle \Diamond } .
Texte : Wikipédia en anglais, CC BY-SA 4.0. ·
