Em lógica e filosofia, S5 é um dos cinco sistemas de lógica modal propostos por Clarence Irving Lewis e Cooper Harold Langford no livro Symbolic Logic, de 1932. É uma lógica modal normal, e um dos mais velhos sistemas de lógica modal.
Axiomática S5 é caracterizado pelos axiomas:
(K) (axioma da necessitação)
(T) (axioma da reflexividade)
e também:
(5) (axioma da euclidianidade)
ou então por K e T e:
(4) (axioma da transitividade)
(B) (axioma da simetria)
Semântica de Kripke Em termos de semântica de Kripke, S5 é caracterizado por modelos em que a relação de acessibilidade é uma relação de equivalência (ou seja, reflexiva, simétrica e transitiva). Outro ponto de vista é que a relação de acessibilidade é "universal", isto é, todos os mundos são acessíveis a partir de outro.
Ver também Teorema de redução em S5 Lógica modal Lógica modal normal Ligações externas Samir Gorsky
Categoria:Lógica Categoria:Lógica matemática