About: Logic in computer science

Property	Value
rdf:type	skos:Concept
rdfs:label	Logic in computer science
skos:broader	dbpedia:Category:Mathematics_of_computing dbpedia:Category:Mathematical_logic dbpedia:Category:Theoretical_computer_science
skos:prefLabel	Logic in computer science
is skos:broader of	dbpedia:Category:Logical_calculi dbpedia:Category:Automated_theorem_proving dbpedia:Category:Categorical_logic dbpedia:Category:Combinatory_logic dbpedia:Category:Formal_methods dbpedia:Category:Logic_programming dbpedia:Category:SMT_solvers dbpedia:Category:Z_notation dbpedia:Category:Denotational_semantics dbpedia:Category:Programming_language_semantics dbpedia:Category:Logic_gates dbpedia:Category:Model_checkers dbpedia:Category:Rewriting_systems dbpedia:Category:Type_theory
is skos:subject of	dbpedia:Formal_verification dbpedia:Abstract_interpretation dbpedia:Axiomatic_semantics dbpedia:Formal_semantics_of_programming_languages dbpedia:Combinatory_logic dbpedia:Rewriting dbpedia:Precondition dbpedia:Predicate_transformer_semantics dbpedia:Ordered_Weighted_Averaging_(OWA)_Aggregation_Operators dbpedia:Bunched_logic dbpedia:Undecidable_problem dbpedia:Runtime_verification dbpedia:IEEE_Symposium_on_Logic_in_Computer_Science dbpedia:Kripke_structure dbpedia:Model_elimination dbpedia:Bisimulation dbpedia:Horn_clause dbpedia:Herbrand_Award dbpedia:Hoare_logic dbpedia:Model_checking dbpedia:Postcondition dbpedia:Operational_semantics dbpedia:OBJ dbpedia:Partial_order_reduction dbpedia:Computability_logic dbpedia:Fluent_(artificial_intelligence) dbpedia:Functional_completeness dbpedia:Geometry_of_interaction dbpedia:HOL_theorem_prover_family dbpedia:LCF_(theorem_prover) dbpedia:Maximum_satisfiability_problem dbpedia:Peano_axioms dbpedia:Fuzzy_logic dbpedia:Presburger_arithmetic dbpedia:Race_condition dbpedia:Assertion_(computing) dbpedia:Boolean_satisfiability_problem dbpedia:Linear_temporal_logic dbpedia:Structural_induction dbpedia:Forward_chaining dbpedia:Abstract_rewriting_system dbpedia:Algebraic_semantics dbpedia:Alternating-time_Temporal_Logic dbpedia:Proof_complexity dbpedia:CTL* dbpedia:Duration_calculus dbpedia:Fair_Computational_tree_logic dbpedia:Hennessy-Milner_logic dbpedia:Intuitionistic_logic dbpedia:Karnaugh_map dbpedia:Computation_tree_logic dbpedia:Denotational_semantics dbpedia:Game_semantics dbpedia:Backward_chaining dbpedia:Abstraction_model_checking dbpedia:Circuit_minimization dbpedia:Curry–Howard_correspondence dbpedia:Decidable_sublanguages_of_set_theory dbpedia:Dynamic_logic_(modal_logic) dbpedia:Event_calculus dbpedia:Horn-satisfiability dbpedia:Intuitionistic_type_theory dbpedia:LF_(logical_framework) dbpedia:Logic_in_computer_science dbpedia:Normalization_property_(lambda-calculus) dbpedia:Star-free_language dbpedia:Topological_computing dbpedia:Typed_lambda_calculus dbpedia:Preferential_entailment dbpedia:Racetrack_problem dbpedia:Satisfiability_Modulo_Theories dbpedia:State_space_enumeration dbpedia:Twelf dbpedia:Type-2_fuzzy_sets_and_systems dbpedia:Weakest_liberal_precondition dbpedia:Probabilistic_CTL dbpedia:Separation_logic dbpedia:WalkSAT dbpedia:ΛProlog