Matches in DBpedia 2014 for { <http://dbpedia.org/resource/General_frame> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items 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 wikiPageRevisionID "541244502".
- 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 type Abstraction100002137.
- General_frame type Cognition100023271.
- General_frame type DualityTheories.
- General_frame type Explanation105793000.
- General_frame type HigherCognitiveProcess105770664.
- General_frame type Process105701363.
- General_frame type PsychologicalFeature100023100.
- General_frame type Theory105989479.
- General_frame type Thinking105770926.
- 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 sameAs General_frame.
- General_frame wasDerivedFrom General_frame?oldid=541244502.
- General_frame isPrimaryTopicOf General_frame.