wiki_research

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

fok (448B)

      1 # FOk
      2 
      3 [first_order_logic] with k variables, or [first_order_logic_width] k
      4 
      5 ## Fragments
      6 
      7 - [fo2]
      8 
      9 ## Extensions
     10 
     11 - [fok_counting] with [counting_quantifier]
     12 
     13 ## [Computational_problems]
     14 
     15 - [satisfiability] of FO^2 etc., cf "kings" [gradel1997decision]
     16 
     17 - [first_order_model_checking_fok]
     18   - special case: [first_order_model_checking_fo2]
     19   - connections to [yannakakis_algorithm]
     20 
     21 - finding the best k: [fok_rewriting]
     22  
     23 Up: [first_order_logic]