Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/S5_(modal_logic)> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- S5_(modal_logic) 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.".
- S5_(modal_logic) wikiPageExternalLink s5.html.
- S5_(modal_logic) wikiPageExternalLink logic-modal.
- S5_(modal_logic) wikiPageID "12708106".
- S5_(modal_logic) wikiPageLength "2639".
- S5_(modal_logic) wikiPageOutDegree "22".
- S5_(modal_logic) wikiPageRevisionID "669512802".
- S5_(modal_logic) wikiPageWikiLink Alvin_Plantinga.
- S5_(modal_logic) wikiPageWikiLink Category:Modal_logic.
- S5_(modal_logic) wikiPageWikiLink Clarence_Irving_Lewis.
- S5_(modal_logic) wikiPageWikiLink Cooper_Harold_Langford.
- S5_(modal_logic) wikiPageWikiLink Equivalence_relation.
- S5_(modal_logic) wikiPageWikiLink Kripke_semantics.
- S5_(modal_logic) wikiPageWikiLink Logic.
- S5_(modal_logic) wikiPageWikiLink Modal_logic.
- S5_(modal_logic) wikiPageWikiLink NP-complete.
- S5_(modal_logic) wikiPageWikiLink NP-completeness.
- S5_(modal_logic) wikiPageWikiLink Normal_modal_logic.
- S5_(modal_logic) wikiPageWikiLink Ontological_argument.
- S5_(modal_logic) wikiPageWikiLink Philosophy.
- S5_(modal_logic) wikiPageWikiLink Possible_world.
- S5_(modal_logic) wikiPageWikiLink Propositional_calculus.
- S5_(modal_logic) wikiPageWikiLink Propositional_logic.
- S5_(modal_logic) wikiPageWikiLink Reflexive_relation.
- S5_(modal_logic) wikiPageWikiLink Symmetric_relation.
- S5_(modal_logic) wikiPageWikiLink Transitive_relation.
- S5_(modal_logic) wikiPageWikiLinkText "S5 (modal logic)".
- S5_(modal_logic) wikiPageWikiLinkText "S5".
- S5_(modal_logic) wikiPageWikiLinkText "system of modal logic '''S5'''".
- S5_(modal_logic) hasPhotoCollection S5_(modal_logic).
- S5_(modal_logic) wikiPageUsesTemplate Template:Citation_needed.
- S5_(modal_logic) wikiPageUsesTemplate Template:Reflist.
- S5_(modal_logic) subject Category:Modal_logic.
- S5_(modal_logic) hypernym Systems.
- S5_(modal_logic) type Place.
- S5_(modal_logic) 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.".
- S5_(modal_logic) label "S5 (modal logic)".
- S5_(modal_logic) sameAs S5_(lógica_modal).
- S5_(modal_logic) sameAs m.02x1gn6.
- S5_(modal_logic) sameAs Q7388341.
- S5_(modal_logic) sameAs Q7388341.
- S5_(modal_logic) sameAs S5_(模态逻辑).
- S5_(modal_logic) wasDerivedFrom S5_(modal_logic)?oldid=669512802.
- S5_(modal_logic) isPrimaryTopicOf S5_(modal_logic).