About: Modal logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Modal logic
skos:broader	dbpedia:Category:Non-classical_logic dbpedia:Category:Mathematical_logic
skos:prefLabel	Modal logic
is skos:broader of	dbpedia:Category:Axioms_of_modal_logic dbpedia:Category:Necessity dbpedia:Category:Possibility
is skos:subject of	dbpedia:Gödel's_ontological_proof dbpedia:Actualism dbpedia:Assertoric dbpedia:Doxastic_logic dbpedia:Rigid_designator dbpedia:Barcan_formula dbpedia:Conceptual_necessity dbpedia:Condition_of_possibility dbpedia:Counterpart_theory dbpedia:Imperative_logic dbpedia:Kripke_semantics dbpedia:Metaphysical_necessity dbpedia:Impossible_event dbpedia:Accident_(philosophy) dbpedia:Possible_world dbpedia:Epistemic_possibility dbpedia:Impossible_world dbpedia:Interior_algebra dbpedia:Interpretability_logic dbpedia:Modal_operator dbpedia:Deontic_logic dbpedia:Apodicticity dbpedia:De_dicto_and_de_re dbpedia:Admissible_rule dbpedia:Logical_possibility dbpedia:Accessibility_relation dbpedia:Alternating-time_Temporal_Logic dbpedia:Autoepistemic_logic dbpedia:Strict_conditional dbpedia:CTL* dbpedia:Church_Frege_ontology dbpedia:Duration_calculus dbpedia:Fair_Computational_tree_logic dbpedia:Hennessy-Milner_logic dbpedia:Hybrid_logic dbpedia:Interval_temporal_logic dbpedia:Modal_algebra dbpedia:Modal_fictionalism dbpedia:Essence dbpedia:Modal_logic dbpedia:Temporal_logic dbpedia:Contingency_(philosophy) dbpedia:Computation_tree_logic dbpedia:Epistemic_modal_logic dbpedia:Axiom_S5 dbpedia:Classical_modal_logic dbpedia:Dynamic_logic_(modal_logic) dbpedia:Fiction_theory dbpedia:Finite_model_property dbpedia:Formal_ethics dbpedia:Non-rigid_designator dbpedia:Potentiality_and_actuality dbpedia:Predicate_abstraction dbpedia:Problem_of_future_contingents dbpedia:Two_dimensionalism dbpedia:Normal_modal_logic dbpedia:Ontic dbpedia:S5_(modal_logic) dbpedia:Provability_logic dbpedia:Subjunctive_possibility dbpedia:Window_operator dbpedia:Regular_modal_logic dbpedia:Sahlqvist_formula