Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Modal companion
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Normal modal logic associated to a superintuitionistic logic
Property
Value
dbo:
description
normal modal logic associated to a superintuitionistic logic
(en)
modala logiko asociita al superintuicia logiko
(eo)
dbo:
wikiPageWikiLink
dbr
:Admissible_rule
dbr
:Larisa_Maksimova
dbr
:C._I._Lewis
dbr
:Complement_(set_theory)
dbr
:Countable_set
dbr
:Rule_of_inference
dbr
:Function_(mathematics)
dbr
:First-order_logic
dbr
:Decidability_(logic)
dbr
:Propositional_calculus
dbr
:Complete_lattice
dbr
:Preorder
dbr
:Logic
dbr
:Inverse_function
dbr
:Monotonic_function
dbr
:Kripke_semantics
dbr
:Modal_logic
dbr
:Equivalence_class
dbr
:Quotient_set
dbr
:Reflexive_relation
dbr
:Normal_modal_logic
dbr
:Isomorphism
dbr
:Intuitionistic_logic
dbr
:J._C._C._McKinsey
dbc
:Modal_logic
dbr
:Kurt_Gödel
dbr
:Equivalence_relation
dbr
:Intersection_(set_theory)
dbr
:Alfred_Tarski
dbr
:Infinite_set
dbr
:Transitive_relation
dbr
:Partial_order
dbr
:Intermediate_logic
dbr
:Infinite_descending_chain
dbr
:Embedding
dbr
:Propositional_variable
dbr
:Cardinality_of_the_continuum
dbr
:Andrzej_Grzegorczyk
dbr
:General_frame
dbr
:Kripke_frame
dbr
:Willem_Blok
dbr
:Tabular_logic
dbr
:Vladimir_V._Rybakov
dbr
:Leo_Esakia
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Sfn
dbt
:Isbn
dct:
subject
dbc
:Modal_logic
gold:
hypernym
dbr
:Logic
rdfs:
label
Modal companion
(en)
模态伙伴
(zh)
owl:
sameAs
freebase
:Modal companion
wikidata
:Modal companion
dbpedia-zh
:Modal companion
dbpedia-global
:Modal companion
dbr
:Modal companion
prov:
wasDerivedFrom
wikipedia-en
:Modal_companion?oldid=1287591351&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Modal_companion
is
dbo:
knownFor
of
dbr
:Kurt_Gödel
is
dbo:
wikiPageRedirects
of
dbr
:Gödel-McKinsey-Tarski_translation
dbr
:Gödel_translation
dbr
:Gödel–McKinsey–Tarski_translation
dbr
:Blok-Esakia_isomorphism
dbr
:Blok–Esakia_isomorphism
dbr
:Godel-McKinsey-Tarski_translation
dbr
:Godel_translation
dbr
:Goedel-McKinsey-Tarski_translation
dbr
:Goedel_translation
is
dbo:
wikiPageWikiLink
of
dbr
:Admissible_rule
dbr
:Field_of_sets
dbr
:Susanne_Bobzien
dbr
:Intuitionistic_logic
dbr
:Kurt_Gödel
dbr
:Wim_Blok
dbr
:General_frame
dbr
:Gödel-McKinsey-Tarski_translation
dbr
:Gödel_translation
dbr
:Gödel–McKinsey–Tarski_translation
dbr
:Blok-Esakia_isomorphism
dbr
:Blok–Esakia_isomorphism
dbr
:Godel-McKinsey-Tarski_translation
dbr
:Godel_translation
dbr
:Goedel-McKinsey-Tarski_translation
dbr
:Goedel_translation
is
dbp:
knownFor
of
dbr
:Kurt_Gödel
is
foaf:
primaryTopic
of
wikipedia-en
:Modal_companion
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International