Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kripke_semantics> ?p ?o }
- Kripke_semantics 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 discovery 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').".
- Kripke_semantics wikiPageExternalLink logic-modal.
- Kripke_semantics wikiPageExternalLink logic-intuitionistic.
- Kripke_semantics wikiPageExternalLink s44.
- Kripke_semantics wikiPageExternalLink ~joan.
- Kripke_semantics wikiPageExternalLink ~rob.
- Kripke_semantics wikiPageExternalLink modalhist.pdf.
- Kripke_semantics wikiPageExternalLink Kripke1.doc.
- Kripke_semantics wikiPageID "911960".
- Kripke_semantics wikiPageLength "30263".
- Kripke_semantics wikiPageOutDegree "94".
- Kripke_semantics wikiPageRevisionID "682723221".
- Kripke_semantics wikiPageWikiLink Accessibility_relation.
- Kripke_semantics wikiPageWikiLink Alexandrov_topology.
- Kripke_semantics wikiPageWikiLink Alfred_Tarski.
- Kripke_semantics wikiPageWikiLink André_Joyal.
- Kripke_semantics wikiPageWikiLink Arthur_Prior.
- Kripke_semantics wikiPageWikiLink Atomic_formula.
- Kripke_semantics wikiPageWikiLink Binary_relation.
- Kripke_semantics wikiPageWikiLink Bisimulation.
- Kripke_semantics wikiPageWikiLink Bjarni_Jónsson.
- Kripke_semantics wikiPageWikiLink C.I._Lewis.
- Kripke_semantics wikiPageWikiLink C._A._Meredith.
- Kripke_semantics wikiPageWikiLink Carew_Arthur_Meredith.
- Kripke_semantics wikiPageWikiLink Category:Mathematical_logic.
- Kripke_semantics wikiPageWikiLink Category:Modal_logic.
- Kripke_semantics wikiPageWikiLink Category:Model_theory.
- Kripke_semantics wikiPageWikiLink Category:Non-classical_logic.
- Kripke_semantics wikiPageWikiLink Category:Philosophical_logic.
- Kripke_semantics wikiPageWikiLink Category:Sheaf_theory.
- Kripke_semantics wikiPageWikiLink Clarence_Irving_Lewis.
- Kripke_semantics wikiPageWikiLink Classical_modal_logic.
- Kripke_semantics wikiPageWikiLink Compactness_theorem.
- Kripke_semantics wikiPageWikiLink Complete_theory.
- Kripke_semantics wikiPageWikiLink Completeness_(logic).
- Kripke_semantics wikiPageWikiLink Computer_program.
- Kripke_semantics wikiPageWikiLink Countable_set.
- Kripke_semantics wikiPageWikiLink Cut-elimination.
- Kripke_semantics wikiPageWikiLink Cut-elimination_theorem.
- Kripke_semantics wikiPageWikiLink Decidability_(logic).
- Kripke_semantics wikiPageWikiLink Decision_problem.
- Kripke_semantics wikiPageWikiLink Dense_order.
- Kripke_semantics wikiPageWikiLink Dense_relation.
- Kripke_semantics wikiPageWikiLink Duality_(mathematics).
- Kripke_semantics wikiPageWikiLink Equivalence_class.
- Kripke_semantics wikiPageWikiLink Euclidean_relation.
- Kripke_semantics wikiPageWikiLink Evert_Willem_Beth.
- Kripke_semantics wikiPageWikiLink Existential_quantification.
- Kripke_semantics wikiPageWikiLink Finite_model_property.
- Kripke_semantics wikiPageWikiLink First-order_logic.
- Kripke_semantics wikiPageWikiLink Forcing_(mathematics).
- Kripke_semantics wikiPageWikiLink Formal_system.
- Kripke_semantics wikiPageWikiLink General_frame.
- Kripke_semantics wikiPageWikiLink Homomorphism.
- Kripke_semantics wikiPageWikiLink Ieke_Moerdijk.
- Kripke_semantics wikiPageWikiLink Intuitionistic_logic.
- Kripke_semantics wikiPageWikiLink Jaakko_Hintikka.
- Kripke_semantics wikiPageWikiLink Japaridzes_Polymodal_Logic.
- Kripke_semantics wikiPageWikiLink Japaridzes_polymodal_logic.
- Kripke_semantics wikiPageWikiLink Kripke_semantics.
- Kripke_semantics wikiPageWikiLink Labeled_transition_system.
- Kripke_semantics wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Kripke_semantics wikiPageWikiLink Linguistic_meaning.
- Kripke_semantics wikiPageWikiLink Logical_connective.
- Kripke_semantics wikiPageWikiLink Logical_consequence.
- Kripke_semantics wikiPageWikiLink Maarten_de_Rijke.
- Kripke_semantics wikiPageWikiLink Maximal_consistent_set.
- Kripke_semantics wikiPageWikiLink Meaning_(linguistics).
- Kripke_semantics wikiPageWikiLink Michael_Dummett.
- Kripke_semantics wikiPageWikiLink Modal_algebra.
- Kripke_semantics wikiPageWikiLink Modal_logic.
- Kripke_semantics wikiPageWikiLink Model_theory.
- Kripke_semantics wikiPageWikiLink Monotonic_function.
- Kripke_semantics wikiPageWikiLink Monotonicity.
- Kripke_semantics wikiPageWikiLink Non-classical_logic.
- Kripke_semantics wikiPageWikiLink Normal_modal_logic.
- Kripke_semantics wikiPageWikiLink Partial_function.
- Kripke_semantics wikiPageWikiLink Possible_world.
- Kripke_semantics wikiPageWikiLink Possible_world_semantics.
- Kripke_semantics wikiPageWikiLink Posts_theorem.
- Kripke_semantics wikiPageWikiLink Preorder.
- Kripke_semantics wikiPageWikiLink Propositional_variable.
- Kripke_semantics wikiPageWikiLink Provability_logic.
- Kripke_semantics wikiPageWikiLink Quotient_set.
- Kripke_semantics wikiPageWikiLink Reflexive_relation.
- Kripke_semantics wikiPageWikiLink Richard_Montague.
- Kripke_semantics wikiPageWikiLink Robert_Goldblatt.
- Kripke_semantics wikiPageWikiLink Rudolf_Carnap.
- Kripke_semantics wikiPageWikiLink Sahlqvist_formula.
- Kripke_semantics wikiPageWikiLink Saul_Kripke.
- Kripke_semantics wikiPageWikiLink Saunders_Mac_Lane.
- Kripke_semantics wikiPageWikiLink Second-order_logic.
- Kripke_semantics wikiPageWikiLink Semantics.
- Kripke_semantics wikiPageWikiLink Sequent_calculus.
- Kripke_semantics wikiPageWikiLink Serial_relation.
- Kripke_semantics wikiPageWikiLink Sheaf_(mathematics).
- Kripke_semantics wikiPageWikiLink Sheaf_theory.
- Kripke_semantics wikiPageWikiLink Soundness.
- Kripke_semantics wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Kripke_semantics wikiPageWikiLink Stig_Kanger.