wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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