logic (1258B)
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 - [LTL] 23 24 ## Problems 25 26 - [satisfiability] 27 - [model_checking] 28 29 ## Fields 30 31 - [finite_model_theory] 32 - [finite_controllability] 33 - [non_classical_logics] 34 35 ## Tools 36 37 - [diagonal_argument] 38 39 ## Results 40 41 - [goedels_incompleteness_theorem] 42 - [zero_one_law] 43 - [feferman_vaught_theorem] about [product] 44 45 ## Concepts 46 47 - [locality] 48 - [first_order_locality] 49 - [arity] 50 - [arity_two] 51 - [craig_interpolation] 52 - [ehrenfeucht_fraisse_game] 53 - [fo_interpretation] 54 - [boolean_connective] 55 - [conjunction] 56 - [disjunction] 57 - [implication] 58 - [variable] 59 - [free_variable] 60 - [negation] 61 - [zero_one_law] 62 - [craig_interpolation] 63 - [beth_definability] 64 - [logical_separability] 65 - [monadic] 66 - [logic_formula] 67 - [quantifier] 68 - [quantifier_rank] 69 - [logical_implication] 70 - [sentence] 71 - [function_symbol] 72 73 Up: [mathematics], [theoretical_computer_science] 74 75 See also: [knowledge_representation], [reasoning], [logic_applications], [expressiveness] 76 77 Aliases: logics