wiki_research

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

separator_logic (307B)

      1 # Separator logic
      2 
      3 [first_order_logic] with a predicate talking about the existence of a path (see [reachability], [transitive_closure]) while avoiding certain vertices
      4 
      5 See bojanczyk2021separator
      6 
      7 Between [first_order_logic] and [monadic_second_order_logic]
      8 
      9 Different from [separation_logic]
     10 
     11 Up: [logic]