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