wiki_research

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

finite_model_property (311B)

      1 # Finite model property
      2 
      3 A [logical_fragment] has the *finite model property* if whenever a [sentence] of this fragment has a [model] then it has a [finite_model] (of course the converse [implication] is obvious)
      4 
      5 Generalizations:
      6 
      7 - [finite_controllability]
      8 
      9 Up: [property] of [logical_fragment]
     10 
     11 Aliases: FMP