wiki_research

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

decidable_fo_fragments (374B)

      1 # Decidable FO fragments
      2 
      3 [FO_fragments] for which [satisfiability_FO] is [decidable]
      4 
      5 cf survey [hustadt2004survey]
      6 - [fluted_fragment], cf [fluted_fragment_satisfiability]
      7 - [Maslovs_fragment] alias "K-bar"
      8 - [guarded_fragment], cf [guarded_fragment_satisfiability]
      9 - [FO2], cf [FO2_satisfiability]
     10 
     11 Up: [FO_fragments], [satisfiability_FO]
     12 
     13 Aliases: decidable FO fragment