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:
Axiom S5
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
Property
Value
dbo:
description
normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
(en)
lógica modal
(pt)
模态逻辑
(zh)
normala modala logiko kun la kromaj aksiomoj ◻A→A kaj ◊A→◻◊A
(eo)
dbo:
wikiPageExternalLink
http://plato.stanford.edu/entries/logic-modal/
http://home.utah.edu/~nahaj/logic/structures/systems/s5.html
dbo:
wikiPageWikiLink
dbr
:Modal_operator
dbr
:Philosophy
dbr
:Ontological_argument
dbr
:Propositional_calculus
dbr
:Propositional_logic
dbr
:Possible_world
dbr
:Modus_ponens
dbr
:Logic
dbr
:Kripke_semantics
dbr
:Modal_logic
dbr
:Substitution_(logic)
dbr
:Tautology_(logic)
dbr
:Reflexive_relation
dbr
:Symmetric_relation
dbr
:Normal_modal_logic
dbr
:Five_Ways_(Aquinas)
dbr
:Gottfried_Wilhelm_Leibniz
dbr
:Thomas_Aquinas
dbr
:Euclidean_relation
dbc
:Modal_logic
dbr
:Adjoint_functors
dbr
:Alvin_Plantinga
dbr
:Equivalence_relation
dbr
:Transitive_relation
dbr
:Accessibility_relation
dbr
:Cooper_Harold_Langford
dbr
:NP-complete
dbr
:Clarence_Irving_Lewis
dbr
:Kripke_frame
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:R_to_section
dbt
:R_from_merge
dbt
:Redirect_category_shell
dbt
:Short_description
dct:
subject
dbc
:Modal_logic
gold:
hypernym
dbr
:Systems
rdfs:
label
Axiom S5
(en)
S5 (modal logic)
(en)
S5 (logica modale)
(it)
S5 (lógica modal)
(pt)
S5 (модальная логика)
(ru)
S5 (模态逻辑)
(zh)
owl:
sameAs
freebase
:Axiom S5
wikidata
:Axiom S5
dbpedia-it
:Axiom S5
dbpedia-zh
:Axiom S5
dbpedia-pt
:Axiom S5
dbpedia-ru
:Axiom S5
dbpedia-global
:Axiom S5
prov:
wasDerivedFrom
wikipedia-en
:Axiom_S5?oldid=784621554&ns=0
wikipedia-en
:S5_(modal_logic)?oldid=1281929411&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Axiom_S5
wikipedia-en
:S5_(modal_logic)
is
dbo:
wikiPageRedirects
of
dbr
:Axiom_S5
dbr
:Axiom_S5
dbr
:Logic_S5
is
dbo:
wikiPageWikiLink
of
dbr
:Epistemic_modal_logic
dbr
:C._I._Lewis
dbr
:Natural_deduction
dbr
:List_of_NP-complete_problems
dbr
:Algebraic_logic
dbr
:Philosophical_logic
dbr
:Autoepistemic_logic
dbr
:Index_of_philosophy_articles_(R–Z)
dbr
:Normal_modal_logic
dbr
:S5
dbr
:Existential_graph
dbr
:Method_of_analytic_tableaux
dbr
:Structural_proof_theory
dbr
:Predicate_functor_logic
dbr
:Cooper_Harold_Langford
dbr
:Hypersequent
dbr
:Axiom_S5
dbr
:Modal_collapse
dbr
:Logic_S5
is
owl:
differentFrom
of
dbr
:Audi_S5
is
foaf:
primaryTopic
of
wikipedia-en
:Axiom_S5
wikipedia-en
:S5_(modal_logic)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International