@prefix dbpprop: .
@prefix dbpedia: .
dbpedia:Saul_Kripke dbpprop:notableIdeas dbpedia:Kripke_semantics .
@prefix owl: .
dbpedia:Kripke_semantics owl:sameAs .
@prefix foaf: .
@prefix ns4: .
dbpedia:Kripke_semantics foaf:page ns4:Kripke_semantics .
@prefix ns5: .
dbpedia:Kripke_semantics dbpprop:reference ns5:logic-modal ,
.
@prefix ns6: .
dbpedia:Kripke_semantics dbpprop:reference ns6:s44 ,
,
.
@prefix rdfs: .
dbpedia:Kripke_semantics rdfs:label "\u5173\u7CFB\u8BED\u4E49"@zh ,
"Kripke semantics"@en ,
"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0430 \u041A\u0440\u0438\u043F\u043A\u0435"@ru ,
"Kripkemodel"@nl ,
"S\u00E9mantique de Kripke"@fr ;
dbpprop:abstract "Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intu\u00EFtionistische logica. Kripkemodellen danken hun naam aan hun uitvinder, Saul Kripke. Ze formaliseren het idee van meerdere mogelijke werelden. Formeel is een Kripkemodel <math>\\mathcal{M}</math> een geordend drietal <math>\\langle W,R,V \\rangle</math> waarbij <math>W</math> een verzameling \"werelden\" (of punten) is, <math>R</math> een relatie op <math>W</math> en <math>V</math> een functie die aan een atomaire propositie <math>p</math> een verzameling werelden toekent waarin <math>p</math> waar is. <math>V</math> wordt uitgebreid naar een waarheidsrelatie <math>\\Vdash</math> tussen modellen, werelden en zinnen van de modale logica, als volgt: <math>\\mathcal{M},w \\Vdash p</math> desda <math>w \\in V(p)</math> (<math>p</math> een atomaire propositie) <math>\\mathcal{M},w \\Vdash \\neg A</math> desda <math>\\mathcal{M},w \\not\\Vdash A</math> <math>\\mathcal{M},w \\Vdash A \\land B</math> desda <math>\\mathcal{M},w \\Vdash A</math> en <math>\\mathcal{M},w \\Vdash B</math> (Soortgelijke regels voor disjunctie enz. ) <math>\\mathcal{M},w \\Vdash \\Box A</math> desda <math>\\forall w'\\in W (wRw' \\to \\mathcal{M},w' \\Vdash A)</math> De laatste regel formaliseert het idee van noodzakelijke waarheid: <math>A</math> is waar in <math>w</math> dan en slechts dan als <math>A</math> waar is in alle met <math>w</math> verbonden werelden. Afhankelijk van hoe de relatie <math>R</math> ge\u00EFnterpreteerd wordt, zijn dat bijvoorbeeld alle werelden die denkbaar zijn voor personen die in de wereld <math>w</math> leven, alle toekomstige werelden na <math>w</math>, alle wenselijke werelden, enz. In de epistemische logica worden vaak uitgebreide Kripkemodellen gebruikt, die een hele verzameling toegankelijkheidsrelaties gebruiken (\u00E9\u00E9n per actor)."@nl ,
"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0430 \u041A\u0440\u0438\u043F\u043A\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0440\u0430\u0441\u043F\u0440\u043E\u0441\u0442\u0440\u0430\u043D\u0435\u043D\u043D\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u043E\u0439 \u0434\u043B\u044F \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u043B\u043E\u0433\u0438\u043A, \u0442\u0430\u043A\u0438\u0445 \u043A\u0430\u043A \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u043C\u043E\u0434\u0430\u043B\u044C\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430. \u041E\u043D\u0430 \u0431\u044B\u043B\u0430 \u0441\u043E\u0437\u0434\u0430\u043D\u0430 \u0421\u043E\u043B\u043E\u043C \u041A\u0440\u0438\u043F\u043A\u0435 \u0432 \u043A\u043E\u043D\u0446\u0435 1950\u0445 \u2014 \u043D\u0430\u0447\u0430\u043B\u0435 1960\u0445 \u0433\u043E\u0434\u043E\u0432. \u042D\u0442\u043E \u0431\u044B\u043B\u043E \u0431\u043E\u043B\u044C\u0448\u0438\u043C \u0434\u043E\u0441\u0442\u0438\u0436\u0435\u043D\u0438\u0435\u043C \u0434\u043B\u044F \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u044F \u0442\u0435\u043E\u0440\u0438\u0438 \u043C\u043E\u0434\u0435\u043B\u0435\u0439 \u0434\u043B\u044F \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u043B\u043E\u0433\u0438\u043A."@ru ,
"Kripke \u8BED\u4E49\u662F\u6A21\u6001\u903B\u8F91\u7CFB\u7EDF\u7684\u5F62\u5F0F\u8BED\u4E49\uFF0C\u4E8E 1950 \u5E74\u4EE3\u665A\u671F\u548C 1960 \u5E74\u4EE3\u65E9\u671F\u7531\u7D22\u5C14\u00B7\u963F\u4F26\u00B7\u514B\u91CC\u666E\u514B\u5EFA\u7ACB\u3002\u5B83\u540E\u6765\u4E3A\u53E6\u4E00\u4E2A\u975E\u7ECF\u5178\u903B\u8F91\uFF0C\u6700\u91CD\u8981\u7684\u76F4\u89C9\u903B\u8F91\u6240\u63A5\u53D7\u3002Kripke \u8BED\u4E49\u7684\u53D1\u73B0\u662F\u975E\u7ECF\u5178\u903B\u8F91\u5F00\u53D1\u4E2D\u91CD\u5927\u7A81\u7834\uFF0C\u56E0\u4E3A\u8FD9\u79CD\u903B\u8F91\u7684\u6A21\u578B\u8BBA\u5728 Kripke \u4E4B\u524D\u5B9E\u9645\u4E0A\u662F\u4E0D\u5B58\u5728\u7684\u3002"@zh ,
"Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The discovery of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was nonexistent before Kripke."@en ,
"La s\u00E9mantique de Kripke a \u00E9t\u00E9 propos\u00E9e par Saul Aaron Kripke et est la s\u00E9mantique traditionnellement associ\u00E9e \u00E0 la logique intuitionniste et aux logiques modales. Elle est fond\u00E9e sur un univers de mondes possibles, c'est-\u00E0-dire que le mod\u00E8le qui r\u00E9alise la logique n'est pas constitu\u00E9 d'un seul ensemble, mais il se subdivise en \u00AB mondes \u00BB entre lesquels existe une relation d'accessibilit\u00E9. Sachant qu'une modalit\u00E9 modifie une proposition en lui donnant une port\u00E9e plus ou moins grande, cette relation d'accessibilit\u00E9 permet d'envisager les mondes o\u00F9 cette proposition modifi\u00E9e par la modalit\u00E9 est encore valide. Dans la suite nous allons essentiellement parler des mod\u00E8les pour la logique propositionnelle o\u00F9 les mondes sont constitu\u00E9s de paires de bool\u00E9ens {vrai,faux}; pour les mod\u00E8les du calcul des pr\u00E9dicats intuitionniste ou modal on utilise des univers qui sont des ensembles non vides dans lesquels on va interpr\u00E9ter les pr\u00E9dicats et les fonctions."@fr ;
rdfs:comment "Kripke \u8BED\u4E49\u662F\u6A21\u6001\u903B\u8F91\u7CFB\u7EDF\u7684\u5F62\u5F0F\u8BED\u4E49\uFF0C\u4E8E 1950 \u5E74\u4EE3\u665A\u671F\u548C 1960 \u5E74\u4EE3\u65E9\u671F\u7531\u7D22\u5C14\u00B7\u963F\u4F26\u00B7\u514B\u91CC\u666E\u514B\u5EFA\u7ACB\u3002\u5B83\u540E\u6765\u4E3A\u53E6\u4E00\u4E2A\u975E\u7ECF\u5178\u903B\u8F91\uFF0C\u6700\u91CD\u8981\u7684\u76F4\u89C9\u903B\u8F91\u6240\u63A5\u53D7\u3002Kripke \u8BED\u4E49\u7684\u53D1\u73B0\u662F\u975E\u7ECF\u5178\u903B\u8F91\u5F00\u53D1\u4E2D\u91CD\u5927\u7A81\u7834\uFF0C\u56E0\u4E3A\u8FD9\u79CD\u903B\u8F91\u7684\u6A21\u578B\u8BBA\u5728 Kripke \u4E4B\u524D\u5B9E\u9645\u4E0A\u662F\u4E0D\u5B58\u5728\u7684\u3002"@zh ,
"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0430 \u041A\u0440\u0438\u043F\u043A\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0440\u0430\u0441\u043F\u0440\u043E\u0441\u0442\u0440\u0430\u043D\u0435\u043D\u043D\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u043E\u0439 \u0434\u043B\u044F \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u043B\u043E\u0433\u0438\u043A, \u0442\u0430\u043A\u0438\u0445 \u043A\u0430\u043A \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u043C\u043E\u0434\u0430\u043B\u044C\u043D\u0430\u044F \u043B\u043E\u0433\u0438\u043A\u0430. \u041E\u043D\u0430 \u0431\u044B\u043B\u0430 \u0441\u043E\u0437\u0434\u0430\u043D\u0430 \u0421\u043E\u043B\u043E\u043C \u041A\u0440\u0438\u043F\u043A\u0435 \u0432 \u043A\u043E\u043D\u0446\u0435 1950\u0445 \u2014 \u043D\u0430\u0447\u0430\u043B\u0435 1960\u0445 \u0433\u043E\u0434\u043E\u0432."@ru ,
"La s\u00E9mantique de Kripke a \u00E9t\u00E9 propos\u00E9e par Saul Aaron Kripke et est la s\u00E9mantique traditionnellement associ\u00E9e \u00E0 la logique intuitionniste et aux logiques modales. Elle est fond\u00E9e sur un univers de mondes possibles, c'est-\u00E0-dire que le mod\u00E8le qui r\u00E9alise la logique n'est pas constitu\u00E9 d'un seul ensemble, mais il se subdivise en \u00AB mondes \u00BB entre lesquels existe une relation d'accessibilit\u00E9."@fr ,
"Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intu\u00EFtionistische logica. Kripkemodellen danken hun naam aan hun uitvinder, Saul Kripke. Ze formaliseren het idee van meerdere mogelijke werelden."@nl ,
"Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems."@en .
@prefix skos: .
@prefix ns9: .
dbpedia:Kripke_semantics skos:subject ns9:Sheaf_theory ,
ns9:Modal_logic ,
ns9:Mathematical_logic ,
ns9:Model_theory ,
ns9:Philosophical_logic .
@prefix ns10: .
dbpedia:Kripke_semantics dbpprop:hasPhotoCollection ns10:Kripke_semantics .
dbpedia:Filtered_model dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Kripke_Semantics dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Semantics_of_modal_logic dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Relational_semantics dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Kripke-Joyal_semantics dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Kripke_frame dbpprop:redirect dbpedia:Kripke_semantics .
dbpedia:Kripke_model dbpprop:redirect dbpedia:Kripke_semantics .