wiki_research

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

fok (613B)

      1 # FOk
      2 
      3 [first_order_logic] with k variables, or [first_order_logic_width] k
      4 
      5 Also called "finite variable logics" in the [survey] [grohe1998finite]
      6 
      7 ## Fragments
      8 
      9 - [FO2]
     10 - [FO3]
     11 
     12 ## Extensions
     13 
     14 - [fok_counting] with [counting_quantifier]
     15 
     16 ## [Computational_problems]
     17 
     18 - [satisfiability] of FO^2 etc., cf "kings" [gradel1997decision]
     19 
     20 - [model_checking]: [first_order_model_checking_fok]
     21   - special case: [first_order_model_checking_fo2]
     22   - connections to [yannakakis_algorithm]
     23 
     24 - finding the best k: [fok_rewriting]
     25 
     26 - [fok_quantifier_rank]
     27  
     28 Up: [first_order_logic]
     29 
     30 See also: [two_variables], [pebble_game]