logic (1141B)
1 # Logic 2 3 ## [logic_fragment] 4 5 - [propositional_logic] 6 - [resolution] 7 - [modal_logic] 8 - [first_order_logic] 9 - [fok] 10 - [fo2] 11 - [guarded_fragment] 12 - [gfk] 13 - [gf2] 14 - [gck] 15 - [gc2] 16 - [c2] 17 - [unary_negation] 18 - [guarded_negation] 19 - [monadic_second_order_logic] 20 - [separator_logic] 21 - [description_logics] 22 23 ## Problems 24 25 - [satisfiability] 26 - [model_checking] 27 28 ## Fields 29 30 - [finite_model_theory] 31 - [finite_controllability] 32 33 ## Tools 34 35 - [diagonal_argument] 36 37 ## Results 38 39 - [goedels_incompleteness_theorem] 40 - [zero_one_law] 41 - [feferman_vaught_theorem] about [product] 42 43 ## Concepts 44 45 - [locality] 46 - [first_order_locality] 47 - [arity] 48 - [arity_two] 49 - [craig_interpolation] 50 - [ehrenfeucht_fraisse_game] 51 - [fo_interpretation] 52 - [quantifier_rank] 53 - [conjunction] 54 - [disjunction] 55 - [implication] 56 - [variable] 57 - [negation] 58 - [zero_one_law] 59 - [craig_interpolation] 60 - [beth_definability] 61 - [logical_separability] 62 - [monadic] 63 - [logic_formula] 64 - [quantifier] 65 - [logical_implication] 66 67 Up: [mathematics], [theoretical_computer_science] 68 69 See also: [knowledge_representation], [reasoning], [logic_applications], [expressiveness] 70 71 Aliases: logics