wiki_research

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

guarded_fixpoint_logic (168B)

      1 # Guarded fixpoint logic
      2 
      3 Does not have the [finite_model_property], see [barany2012finite]
      4 
      5 Generalizations: [GNFP]
      6 
      7 Up: [guarded_fragment], [fixpoint]
      8 
      9 Aliases: muGF