| dbo:abstract
|
- 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 and its dual possibly . (en)
- 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. (pt)
- S5 — одна из пяти систем модальной логики, предложенных и в книге «Символическая логика» (англ. Symbolic Logic, 1932). Является и одной из старейших систем модальной логики. Будучи простейшей модельной логикой, образуется формулами логики высказываний, тавтологиями, аппаратом вывода с и modus ponens. Синтаксис при этом дополнен модальным оператором необходимости и двойственным ему оператором возможности . С точки зрения семантики Крипке S5 относится к моделям, где отношение достижимости является отношением эквивалентности: оно рефлексивно, симметрично и транзитивно. (ru)
- 在逻辑和哲学中，S5 是 和 在他们1932年的书《Symbolic Logic》中提议的五个模态逻辑之一。 它是正规模态逻辑和最古老的模态逻辑系统之一。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4947 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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 and its dual possibly . (en)
- 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. (pt)
- S5 — одна из пяти систем модальной логики, предложенных и в книге «Символическая логика» (англ. Symbolic Logic, 1932). Является и одной из старейших систем модальной логики. Будучи простейшей модельной логикой, образуется формулами логики высказываний, тавтологиями, аппаратом вывода с и modus ponens. Синтаксис при этом дополнен модальным оператором необходимости и двойственным ему оператором возможности . С точки зрения семантики Крипке S5 относится к моделям, где отношение достижимости является отношением эквивалентности: оно рефлексивно, симметрично и транзитивно. (ru)
- 在逻辑和哲学中，S5 是 和 在他们1932年的书《Symbolic Logic》中提议的五个模态逻辑之一。 它是正规模态逻辑和最古老的模态逻辑系统之一。 (zh)
|
| rdfs:label
|
- S5 (logica modale) (it)
- S5 (modal logic) (en)
- S5 (lógica modal) (pt)
- S5 (модальная логика) (ru)
- S5 (模态逻辑) (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
