wiki_research

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

first_order_logic_successor_invariant (299B)

      1 # First order logic successor invariant
      2 
      3 FO with access to a [successor_relation], the formula is independent from the specific successor relation picked
      4 
      5 Up: [first_order_logic], [successor_invariant]
      6 
      7 See also: [first_order_logic_order_invariant], [julien_grange]
      8 
      9 Aliases: successor invariant FO