Matches in DBpedia 2016-04 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 ~joan.
- Kripke_semantics wikiPageExternalLink logic-modal.
- Kripke_semantics wikiPageExternalLink logic-intuitionistic.
- Kripke_semantics wikiPageExternalLink s44.
- Kripke_semantics wikiPageExternalLink ~rob.
- Kripke_semantics wikiPageExternalLink modalhist.pdf.
- Kripke_semantics wikiPageExternalLink Kripke1.doc.
- Kripke_semantics wikiPageID "911960".
- Kripke_semantics wikiPageLength "28929".
- Kripke_semantics wikiPageOutDegree "92".
- Kripke_semantics wikiPageRevisionID "695320208".
- 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 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_theorem.
- Kripke_semantics wikiPageWikiLink Decidability_(logic).
- Kripke_semantics wikiPageWikiLink Decision_problem.
- Kripke_semantics wikiPageWikiLink Dense_order.
- 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 Kripke_semantics.
- Kripke_semantics wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Kripke_semantics wikiPageWikiLink Logical_connective.
- Kripke_semantics wikiPageWikiLink Logical_consequence.
- Kripke_semantics wikiPageWikiLink Maarten_de_Rijke.
- 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 Non-classical_logic.
- Kripke_semantics wikiPageWikiLink Normal_modal_logic.
- Kripke_semantics wikiPageWikiLink Partial_function.
- Kripke_semantics wikiPageWikiLink Possible_world.
- Kripke_semantics wikiPageWikiLink Posts_theorem.
- Kripke_semantics wikiPageWikiLink Preorder.
- Kripke_semantics wikiPageWikiLink Propositional_variable.
- Kripke_semantics wikiPageWikiLink Provability_logic.
- 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 Sheaf_(mathematics).
- Kripke_semantics wikiPageWikiLink Soundness.
- Kripke_semantics wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Kripke_semantics wikiPageWikiLink Stig_Kanger.
- Kripke_semantics wikiPageWikiLink Surjective_function.
- Kripke_semantics wikiPageWikiLink Symmetric_relation.
- Kripke_semantics wikiPageWikiLink Theoretical_computer_science.
- Kripke_semantics wikiPageWikiLink Topos.
- Kripke_semantics wikiPageWikiLink Transition_system.
- Kripke_semantics wikiPageWikiLink Transitive_relation.
- Kripke_semantics wikiPageWikiLink Tree_(graph_theory).
- Kripke_semantics wikiPageWikiLink Two-dimensionalism.
- Kripke_semantics wikiPageWikiLink Vacuous_truth.
- Kripke_semantics wikiPageWikiLink Well-founded_relation.
- Kripke_semantics wikiPageWikiLink Zorns_lemma.
- Kripke_semantics wikiPageWikiLinkText "FMP".
- Kripke_semantics wikiPageWikiLinkText "K4".
- Kripke_semantics wikiPageWikiLinkText "Kripke (relational) frames".