wiki_research

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

decidable_fo_fragments_finite (422B)

      1 # Decidable FO fragments finite
      2 
      3 [FO_fragments] for which [satisfiability_FO_finite] is [decidable]
      4 
      5 Question here: https://cstheory.stackexchange.com/questions/57103/decidable-fragments-of-first-order-logic-over-finite-structures
      6 
      7 List:
      8 
      9 - [decidable_fo_fragments] enjoying the [finite_model_property]
     10 - [C2]
     11 - [muGF]
     12 - [fluted_fragment] with one [transitive_relation], cf [pratt2022fluted]
     13 
     14 Up: [decidable_fo_fragments]