wiki_research

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

fok (605B)

      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 
     11 ## Extensions
     12 
     13 - [fok_counting] with [counting_quantifier]
     14 
     15 ## [Computational_problems]
     16 
     17 - [satisfiability] of FO^2 etc., cf "kings" [gradel1997decision]
     18 
     19 - [model_checking]: [first_order_model_checking_fok]
     20   - special case: [first_order_model_checking_fo2]
     21   - connections to [yannakakis_algorithm]
     22 
     23 - finding the best k: [fok_rewriting]
     24 
     25 - [fok_quantifier_rank]
     26  
     27 Up: [first_order_logic]
     28 
     29 See also: [two_variables], [pebble_game]