Kripke semantics (original) (raw)

About DBpedia

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 and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise').

Property Value
dbo:abstract 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 and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). (en) En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr) クリプキ・モデル (Kripke Model) は クリプキ意味論 (Kripke) とも言われている。これはソール・A・クリプキが提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。これは「可能世界」という概念で説明される。可能世界とは、例えば「ある小説の男性は魔法が使える」ということと、現実世界の「ある男性は魔法が使えない」ということを、「それらは世界が異なるので、それぞれの世界ではそれらが成り立つ」という方法で説明されている。 (ja) Een Kripkemodel is een voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica. Kripkemodellen danken hun naam aan hun uitvinder, Saul Kripke. Ze formaliseren het idee van meerdere mogelijke werelden. (nl) Uma semântica de Kripke - também conhecida como semântica relacional ou semântica de estruturas, e muitas vezes confundida com semântica de mundos possíveis - é uma semântica formal para sistemas lógicos não-clássicos criados no final dos anos 1950 e início dos anos 1960 por Saul Kripke. Ela foi feita primeiro para lógicas modais e, mais tarde adaptado para a lógica intuicionista e outros sistemas não-clássicos. A descoberta da semântica de Kripke foi um avanço na teoria das lógicas não-clássicas, pois a teoria dos modelos de tais lógicas era inexistente antes de Kripke. (pt) Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик. (ru) Семантика Кріпке є поширеною семантикою для некласичних логік, таких як інтуїціоністська логіка і модальна логіка. Її створив Саул Кріпке в кінці 1950-х — початку 1960-х років. Це було значним досягненням у розвитку теорії моделей для некласичних логік. (uk) 克里普克语义(也叫做关系语义或框架语义，并经常混淆于可能世界语义)是模态逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在克里普克之前实际上是不存在的。 (zh)
dbo:wikiPageExternalLink http://www.msor.vuw.ac.nz/~rob/papers/modalhist.pdf https://books.google.com/books%3Fid=-n7uBgAAQBAJ https://books.google.com/books%3Fid=IoTtCAAAQBAJ&pg=PA1 https://books.google.com/books%3Fid=JVFzknbGBVAC https://books.google.com/books%3Fid=LZWLBAAAQBAJ https://books.google.com/books%3Fid=NwDwCAAAQBAJ&pg=PA225 https://books.google.com/books%3Fid=TkwrBgAAQBAJ https://books.google.com/books%3Fid=dhgi5NF4RtcC https://books.google.com/books%3Fid=gpwZYXsomEsC&pg=PP1 http://plato.stanford.edu/archives/win2001/entries/logic-modal http://plato.stanford.edu/entries/logic-intuitionistic/%7Cpublisher=Metaphysics https://dspace.lu.lv/dspace/handle/7/34986 http://www.ltn.lv/~podnieks/mlog/ml4a.htm%23s44 https://archive.org/details/intuitionisticlo0000fitt http://www.princeton.edu/~jburgess/Kripke1.doc%7Curl-status=dead%7Carchive-url=https:/web.archive.org/web/20041020014707/http:/www.princeton.edu/~jburgess/Kripke1.doc%7Carchive-date=2004-10-20
dbo:wikiPageID 911960 (xsd:integer)
dbo:wikiPageInterLanguageLink dbpedia-de:Kripke-Semantik
dbo:wikiPageLength 34249 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1104123176 (xsd:integer)
dbo:wikiPageWikiLink dbr:Preorder dbr:Rudolf_Carnap dbr:Saul_Kripke dbr:Epistemic_modal_logic dbr:Modal_logic dbr:Model_theory dbr:C._A._Meredith dbr:Topos_theory dbr:Binary_relation dbr:Bjarni_Jónsson dbr:Homomorphism dbr:Richard_Montague dbr:Decidability_(logic) dbr:Decision_problem dbr:Induction_puzzles dbr:Intuitionistic_logic dbr:Lindenbaum–Tarski_algebra dbr:Countable_set dbr:Rewriting dbr:Sahlqvist_formula dbr:Quotient_set dbr:Alexandrov_topology dbr:General_frame dbr:Monotonicity dbr:Andrzej_Grzegorczyk dbr:André_Joyal dbr:Compactness_theorem dbr:Completeness_(logic) dbr:Computer_program dbr:Deontic_logic dbr:Kripke_semantics dbr:Partial_function dbr:Theoretical_computer_science dbc:Philosophical_logic dbr:C._I._Lewis dbr:Transitive_relation dbr:Tree_(graph_theory) dbr:Well-founded dbr:Japaridze's_polymodal_logic dbr:Alfred_Tarski dbr:Duality_(mathematics) dbc:Non-classical_logic dbr:First-order_logic dbr:Forcing_(mathematics) dbr:Formal_system dbr:Dense_relation dbr:Logical_connective dbr:Logical_consequence dbr:Uniqueness_quantification dbr:Quantifier_(logic) dbr:Serial_relation dbr:Atomic_formula dbr:Jaakko_Hintikka dbr:Arthur_Prior dbr:Accessibility_relation dbc:Mathematical_logic dbc:Modal_logic dbc:Model_theory dbc:Sheaf_theory dbr:L._E._J._Brouwer dbr:Bisimulation dbr:Symbolic_Logic dbr:Symmetric_relation dbr:Zorn's_lemma dbr:Modal_algebra dbr:Modus_ponens dbr:Provability_logic dbr:Classical_modal_logic dbr:Maximal_consistent_set dbr:Reflexive_relation dbr:Second-order_logic dbr:Sequent_calculus dbr:Rule_of_inference dbr:Semantics dbr:Soundness dbr:Euclidean_relation dbr:Propositional_variable dbr:Evert_Willem_Beth dbr:Existential_quantification dbr:Finite_model_property dbr:Post's_theorem dbr:Vacuous_truth dbr:Non-classical_logic dbr:Normal_modal_logic dbr:Two-dimensionalism dbr:C.I._Lewis dbr:The_Stanford_Encyclopedia_of_Philosophy dbr:Labeled_transition_system dbr:Possible_world_semantics dbr:Cut-elimination dbr:Sheaf_theory dbr:Surjection dbr:Henrik_Sahlqvist dbr:Stig_Kanger
dbp:id p/k055850 (en)
dbp:title Kripke models (en)
dbp:wikiPageUsesTemplate dbt:Springer dbt:Cite_book dbt:Cite_encyclopedia dbt:Cite_web dbt:Commons_category dbt:Main dbt:More_footnotes dbt:Note dbt:Ref dbt:See_also dbt:Short_description dbt:Unreferenced_section
dct:subject dbc:Philosophical_logic dbc:Non-classical_logic dbc:Mathematical_logic dbc:Modal_logic dbc:Model_theory dbc:Sheaf_theory
gold:hypernym dbr:Semantics
rdf:type owl:Thing
rdfs:comment 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 and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). (en) En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. (fr) クリプキ・モデル (Kripke Model) は クリプキ意味論 (Kripke) とも言われている。これはソール・A・クリプキが提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。これは「可能世界」という概念で説明される。可能世界とは、例えば「ある小説の男性は魔法が使える」ということと、現実世界の「ある男性は魔法が使えない」ということを、「それらは世界が異なるので、それぞれの世界ではそれらが成り立つ」という方法で説明されている。 (ja) Een Kripkemodel is een voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica. Kripkemodellen danken hun naam aan hun uitvinder, Saul Kripke. Ze formaliseren het idee van meerdere mogelijke werelden. (nl) Uma semântica de Kripke - também conhecida como semântica relacional ou semântica de estruturas, e muitas vezes confundida com semântica de mundos possíveis - é uma semântica formal para sistemas lógicos não-clássicos criados no final dos anos 1950 e início dos anos 1960 por Saul Kripke. Ela foi feita primeiro para lógicas modais e, mais tarde adaptado para a lógica intuicionista e outros sistemas não-clássicos. A descoberta da semântica de Kripke foi um avanço na teoria das lógicas não-clássicas, pois a teoria dos modelos de tais lógicas era inexistente antes de Kripke. (pt) Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик. (ru) Семантика Кріпке є поширеною семантикою для некласичних логік, таких як інтуїціоністська логіка і модальна логіка. Її створив Саул Кріпке в кінці 1950-х — початку 1960-х років. Це було значним досягненням у розвитку теорії моделей для некласичних логік. (uk) 克里普克语义(也叫做关系语义或框架语义，并经常混淆于可能世界语义)是模态逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在克里普克之前实际上是不存在的。 (zh)
rdfs:label Sémantique de Kripke (fr) Kripke semantics (en) Kripkemodel (nl) クリプキ・モデル (ja) Семантика Крипке (ru) Semânticas de Kripke (pt) 关系语义 (zh) Семантика Кріпке (uk)
rdfs:seeAlso dbr:Multimodal_logic
owl:sameAs freebase:Kripke semantics wikidata:Kripke semantics dbpedia-fr:Kripke semantics dbpedia-ja:Kripke semantics dbpedia-nl:Kripke semantics dbpedia-pt:Kripke semantics dbpedia-ru:Kripke semantics dbpedia-uk:Kripke semantics dbpedia-zh:Kripke semantics https://global.dbpedia.org/id/2KpA1
prov:wasDerivedFrom wikipedia-en:Kripke_semantics?oldid=1104123176&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Kripke_semantics
is dbo:notableIdea of dbr:Saul_Kripke
is dbo:wikiPageRedirects of dbr:Kripke_Semantics dbr:Kripke_frame dbr:Kripke_model dbr:Unravelling_(logic) dbr:Kripke-Joyal_semantics dbr:Kripke–Joyal_semantics dbr:P-morphism dbr:Filtered_model dbr:Relational_semantics
is dbo:wikiPageWikiLink of dbr:American_philosophy dbr:Preorder dbr:Saul_Kripke dbr:Epistemic_modal_logic dbr:Modal_logic dbr:Model_theory dbr:Montague_grammar dbr:Multimodal_logic dbr:Definition dbr:Description_logic dbr:Relevance dbr:Unification_(computer_science) dbr:David_Makinson dbr:De_Morgan's_laws dbr:Canonical_model_(disambiguation) dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Intensional_logic dbr:Interior_algebra dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:List_of_mathematical_logic_topics dbr:Combinatory_logic dbr:Max_Cresswell dbr:George_Edward_Hughes dbr:Negation dbr:Sahlqvist_formula dbr:Kripke_Semantics dbr:Kripke_frame dbr:Kripke_model dbr:Alexandrov_topology dbr:General_frame dbr:Andrzej_Grzegorczyk dbr:Common_knowledge_(logic) dbr:Complete_theory dbr:Dense_order dbr:Deontic_logic dbr:Kripke_semantics dbr:Admissible_rule dbr:Truth dbr:Willard_Van_Orman_Quine dbr:Doxastic_logic dbr:Gödel's_completeness_theorem dbr:Dana_Scott dbr:Duality_(mathematics) dbr:Field_of_sets dbr:History_of_logic dbr:History_of_topos_theory dbr:Jaakko_Hintikka dbr:Temporal_logic dbr:Arthur_Prior dbr:At_sign dbr:Accessibility_relation dbr:Bisimulation dbr:Modal_companion dbr:Provability_logic dbr:Kripke_structure_(model_checking) dbr:Method_of_analytic_tableaux dbr:Semantics_of_logic dbr:Unravelling_(logic) dbr:Neighborhood_semantics dbr:Impossible_world dbr:Frame_semantics dbr:S5_(modal_logic) dbr:Evert_Willem_Beth dbr:Finite_model_property dbr:Standard_translation dbr:Supervaluationism dbr:Normal_modal_logic dbr:Stable_model_semantics dbr:Truth-value_semantics dbr:S2S_(mathematics) dbr:Kripke-Joyal_semantics dbr:Kripke–Joyal_semantics dbr:P-morphism dbr:Filtered_model dbr:Relational_semantics
is dbp:notableIdeas of dbr:Saul_Kripke
is rdfs:seeAlso of dbr:Modal_logic
is foaf:primaryTopic of wikipedia-en:Kripke_semantics