Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Modal_companion> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Modal_companion abstract "In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic.".
- Modal_companion wikiPageID "6916708".
- Modal_companion wikiPageLength "9227".
- Modal_companion wikiPageOutDegree "47".
- Modal_companion wikiPageRevisionID "607165933".
- Modal_companion wikiPageWikiLink Admissible_rule.
- Modal_companion wikiPageWikiLink Alfred_Tarski.
- Modal_companion wikiPageWikiLink Andrzej_Grzegorczyk.
- Modal_companion wikiPageWikiLink Cardinality_of_the_continuum.
- Modal_companion wikiPageWikiLink Category:Modal_logic.
- Modal_companion wikiPageWikiLink Complement_(set_theory).
- Modal_companion wikiPageWikiLink Complete_lattice.
- Modal_companion wikiPageWikiLink Countable_set.
- Modal_companion wikiPageWikiLink Decidability_(logic).
- Modal_companion wikiPageWikiLink Embedding.
- Modal_companion wikiPageWikiLink Equivalence_class.
- Modal_companion wikiPageWikiLink Equivalence_relation.
- Modal_companion wikiPageWikiLink First-order_logic.
- Modal_companion wikiPageWikiLink Function_(mathematics).
- Modal_companion wikiPageWikiLink General_frame.
- Modal_companion wikiPageWikiLink Infinite_descending_chain.
- Modal_companion wikiPageWikiLink Infinite_set.
- Modal_companion wikiPageWikiLink Intermediate_logic.
- Modal_companion wikiPageWikiLink Intersection_(set_theory).
- Modal_companion wikiPageWikiLink Intuitionistic_logic.
- Modal_companion wikiPageWikiLink Inverse_function.
- Modal_companion wikiPageWikiLink Isomorphism.
- Modal_companion wikiPageWikiLink J._C._C._McKinsey.
- Modal_companion wikiPageWikiLink Kripke_frame.
- Modal_companion wikiPageWikiLink Kripke_semantics.
- Modal_companion wikiPageWikiLink Kurt_Gödel.
- Modal_companion wikiPageWikiLink Larisa_Maksimova.
- Modal_companion wikiPageWikiLink Leo_Esakia.
- Modal_companion wikiPageWikiLink Logic.
- Modal_companion wikiPageWikiLink Modal_logic.
- Modal_companion wikiPageWikiLink Monotonic_function.
- Modal_companion wikiPageWikiLink Normal_modal_logic.
- Modal_companion wikiPageWikiLink Partial_order.
- Modal_companion wikiPageWikiLink Partially_ordered_set.
- Modal_companion wikiPageWikiLink Preorder.
- Modal_companion wikiPageWikiLink Propositional_calculus.
- Modal_companion wikiPageWikiLink Propositional_variable.
- Modal_companion wikiPageWikiLink Quotient_set.
- Modal_companion wikiPageWikiLink Reflexive_relation.
- Modal_companion wikiPageWikiLink Rule_of_inference.
- Modal_companion wikiPageWikiLink Tabular_logic.
- Modal_companion wikiPageWikiLink Transitive_relation.
- Modal_companion wikiPageWikiLink Vladimir_V._Rybakov.
- Modal_companion wikiPageWikiLink Willem_Blok.
- Modal_companion wikiPageWikiLinkText "Gödel–McKinsey–Tarski translation".
- Modal_companion wikiPageWikiLinkText "Modal companion".
- Modal_companion wikiPageWikiLinkText "Modal companion#Blok–Esakia isomorphism".
- Modal_companion wikiPageWikiLinkText "modal companion".
- Modal_companion wikiPageWikiLinkText "modal companion#Blok–Esakia isomorphism".
- Modal_companion hasPhotoCollection Modal_companion.
- Modal_companion subject Category:Modal_logic.
- Modal_companion hypernym Logic.
- Modal_companion comment "In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate logic, which enables to study intermediate logics using tools developed for modal logic.".
- Modal_companion label "Modal companion".
- Modal_companion sameAs m.0gwy7f.
- Modal_companion sameAs Q10363531.
- Modal_companion sameAs Q10363531.
- Modal_companion sameAs 模态伙伴.
- Modal_companion wasDerivedFrom Modal_companion?oldid=607165933.
- Modal_companion isPrimaryTopicOf Modal_companion.