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 logic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
744034
(xsd:integer)
dbo:
wikiPageRevisionID
967884486
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_cat
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Modal logic
(en)
skos:
broader
dbc
:Non-classical_logic
dbc
:Logic_in_computer_science
dbc
:Mathematical_logic
skos:
prefLabel
Modal logic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Modal_logic?oldid=967884486&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Epistemic_modal_logic
dbr
:Epistemic_possibility
dbr
:Modal_logic
dbr
:Multimodal_logic
dbr
:Löb's_theorem
dbr
:Ontic
dbr
:Problem_of_future_contingents
dbr
:Apodicticity
dbr
:Dynamic_epistemic_logic
dbr
:Dynamic_logic_(modal_logic)
dbr
:Induction_puzzles
dbr
:Interior_algebra
dbr
:Interpretability_logic
dbr
:Possible_world
dbr
:Modal_operator
dbr
:Sahlqvist_formula
dbr
:Epistemic_closure
dbr
:General_frame
dbr
:Conceptual_necessity
dbr
:Contingency_(philosophy)
dbr
:Deontic_logic
dbr
:Deontic_modality
dbr
:Hennessy–Milner_logic
dbr
:Kripke_semantics
dbr
:Rigid_designator
dbr
:Actualism
dbr
:Admissible_rule
dbr
:Doxastic_logic
dbr
:Gabbay's_separation_theorem
dbr
:Gödel's_ontological_proof
dbr
:Japaridze's_polymodal_logic
dbr
:Logical_possibility
dbr
:Logico-linguistic_modeling
dbr
:Vivid_designator
dbr
:Alternating-time_temporal_logic
dbr
:Essence
dbr
:Barcan_formula
dbr
:Formal_ethics
dbr
:KK_thesis
dbr
:Strict_conditional
dbr
:Potentiality_and_actuality
dbr
:Regular_modal_logic
dbr
:Subjunctive_possibility
dbr
:Hybrid_logic
dbr
:Accessibility_relation
dbr
:Accident_(philosophy)
dbr
:Alethic_modality
dbr
:Modal_algebra
dbr
:Modal_collapse
dbr
:Modal_companion
dbr
:Modal_depth
dbr
:Modal_fallacy
dbr
:Provability_logic
dbr
:Assertoric
dbr
:Autoepistemic_logic
dbr
:Buridan_formula
dbr
:Classical_modal_logic
dbr
:Fiction_theory
dbr
:Free_choice_inference
dbr
:Frege–Church_ontology
dbr
:Guarded_logic
dbr
:Modal_μ-calculus
dbr
:Necessity_of_identity
dbr
:Neighborhood_semantics
dbr
:Imperative_logic
dbr
:Impossible_world
dbr
:Predicate_abstraction
dbr
:Window_operator
dbr
:S5_(modal_logic)
dbr
:Finite_model_property
dbr
:Standard_translation
dbr
:Simplification_of_disjunctive_antecedents
dbr
:Non-rigid_designator
dbr
:Normal_modal_logic
dbr
:Two-dimensionalism
is
dcterms:
subject
of
dbr
:Epistemic_modal_logic
dbr
:Epistemic_possibility
dbr
:Modal_logic
dbr
:Multimodal_logic
dbr
:Löb's_theorem
dbr
:Ontic
dbr
:Problem_of_future_contingents
dbr
:Apodicticity
dbr
:Dynamic_epistemic_logic
dbr
:Dynamic_logic_(modal_logic)
dbr
:Induction_puzzles
dbr
:Interior_algebra
dbr
:Interpretability_logic
dbr
:Possible_world
dbr
:Modal_operator
dbr
:Sahlqvist_formula
dbr
:Epistemic_closure
dbr
:General_frame
dbr
:Conceptual_necessity
dbr
:Contingency_(philosophy)
dbr
:Deontic_logic
dbr
:Deontic_modality
dbr
:Hennessy–Milner_logic
dbr
:Kripke_semantics
dbr
:Rigid_designator
dbr
:Actualism
dbr
:Admissible_rule
dbr
:Doxastic_logic
dbr
:Gabbay's_separation_theorem
dbr
:Gödel's_ontological_proof
dbr
:Japaridze's_polymodal_logic
dbr
:Logical_possibility
dbr
:Logico-linguistic_modeling
dbr
:Vivid_designator
dbr
:Alternating-time_temporal_logic
dbr
:Essence
dbr
:Barcan_formula
dbr
:Formal_ethics
dbr
:KK_thesis
dbr
:Strict_conditional
dbr
:Potentiality_and_actuality
dbr
:Regular_modal_logic
dbr
:Subjunctive_possibility
dbr
:Hybrid_logic
dbr
:Accessibility_relation
dbr
:Accident_(philosophy)
dbr
:Alethic_modality
dbr
:Modal_algebra
dbr
:Modal_collapse
dbr
:Modal_companion
dbr
:Modal_depth
dbr
:Modal_fallacy
dbr
:Provability_logic
dbr
:Assertoric
dbr
:Autoepistemic_logic
dbr
:Buridan_formula
dbr
:Classical_modal_logic
dbr
:Fiction_theory
dbr
:Free_choice_inference
dbr
:Frege–Church_ontology
dbr
:Guarded_logic
dbr
:Modal_μ-calculus
dbr
:Necessity_of_identity
dbr
:Neighborhood_semantics
dbr
:Imperative_logic
dbr
:Impossible_world
dbr
:Predicate_abstraction
dbr
:Window_operator
dbr
:S5_(modal_logic)
dbr
:Finite_model_property
dbr
:Standard_translation
dbr
:Simplification_of_disjunctive_antecedents
dbr
:Non-rigid_designator
dbr
:Normal_modal_logic
dbr
:Two-dimensionalism
is
skos:
broader
of
dbc
:Provability_logic
dbc
:Modal_logicians
dbc
:Temporal_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License