Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/General_frame> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- General_frame abstract "In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.".
- General_frame wikiPageID "6933049".
- General_frame wikiPageLength "11019".
- General_frame wikiPageOutDegree "38".
- General_frame wikiPageRevisionID "541244502".
- General_frame wikiPageWikiLink Alfred_Tarski.
- General_frame wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- General_frame wikiPageWikiLink Binary_relation.
- General_frame wikiPageWikiLink Bjarni_Jónsson.
- General_frame wikiPageWikiLink Boolean_algebra_(structure).
- General_frame wikiPageWikiLink Category:Duality_theories.
- General_frame wikiPageWikiLink Category:Modal_logic.
- General_frame wikiPageWikiLink Category:Model_theory.
- General_frame wikiPageWikiLink Category_(mathematics).
- General_frame wikiPageWikiLink Clopen_set.
- General_frame wikiPageWikiLink Complement_(set_theory).
- General_frame wikiPageWikiLink Contravariant_functor.
- General_frame wikiPageWikiLink Equivalence_of_categories.
- General_frame wikiPageWikiLink Equivalence_relation.
- General_frame wikiPageWikiLink Finite_intersection_property.
- General_frame wikiPageWikiLink Functor.
- General_frame wikiPageWikiLink Heyting_algebra.
- General_frame wikiPageWikiLink Ideal_(order_theory).
- General_frame wikiPageWikiLink Inclusion_(set_theory).
- General_frame wikiPageWikiLink Intermediate_logic.
- General_frame wikiPageWikiLink Intersection_(set_theory).
- General_frame wikiPageWikiLink Kripke_frame.
- General_frame wikiPageWikiLink Kripke_semantics.
- General_frame wikiPageWikiLink Logic.
- General_frame wikiPageWikiLink Maarten_de_Rijke.
- General_frame wikiPageWikiLink Modal_algebra.
- General_frame wikiPageWikiLink Modal_companion.
- General_frame wikiPageWikiLink Modal_logic.
- General_frame wikiPageWikiLink Normal_modal_logic.
- General_frame wikiPageWikiLink Partial_order.
- General_frame wikiPageWikiLink Partially_ordered_set.
- General_frame wikiPageWikiLink Power_set.
- General_frame wikiPageWikiLink Prime_filter.
- General_frame wikiPageWikiLink Propositional_variable.
- General_frame wikiPageWikiLink Stone_space.
- General_frame wikiPageWikiLink Stones_representation_theorem_for_Boolean_algebras.
- General_frame wikiPageWikiLink Subalgebra.
- General_frame wikiPageWikiLink Subset.
- General_frame wikiPageWikiLink Ultrafilter.
- General_frame wikiPageWikiLink Union_(set_theory).
- General_frame wikiPageWikiLink Upper_set.
- General_frame wikiPageWikiLink File:Rieger-Nishimura.svg.
- General_frame wikiPageWikiLink File:Rieger-Nishimura_ladder.svg.
- General_frame wikiPageWikiLinkText "General frame".
- General_frame wikiPageWikiLinkText "Jónsson–Tarski duality".
- General_frame wikiPageWikiLinkText "general frame".
- General_frame wikiPageWikiLinkText "general frame#Jónsson–Tarski duality".
- General_frame wikiPageWikiLinkText "general relational structures".
- General_frame hasPhotoCollection General_frame.
- General_frame subject Category:Duality_theories.
- General_frame subject Category:Modal_logic.
- General_frame subject Category:Model_theory.
- General_frame hypernym Frames.
- General_frame type Theory.
- General_frame comment "In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.".
- General_frame label "General frame".
- General_frame sameAs m.0gxr9b.
- General_frame sameAs Q5532348.
- General_frame sameAs Q5532348.
- General_frame wasDerivedFrom General_frame?oldid=541244502.
- General_frame isPrimaryTopicOf General_frame.
