Does it support more than one brain? I can't tell. The ultimate that I've found so far is Flying Logic (flyinglogic.com). - directed acyclic graph structure

Does it support more than one brain? I can't tell. The ultimate that I've found so far is Flying Logic (flyinglogic.com). - directed acyclic graph structure - boolean logic (both AND and OR) and truth-value tracking - multiple documents - automatic layout (like graphviz/dot) - python import/export api Flying Logic is nice but it's expensive and non-collaborative. I'm not sure what exists that is a next step up from that. Maybe owl/rdf stuff? I generally think this entire field is basically sort of addled, and we're just waiting for software to catch up to brains. Our brains aren't hierarchical, they're graph-based. But since our physical world is hierarchical, there's this impedance mismatch and most of our software (todo lists, outliners, mindmaps) makes the wrong call by forcing us into tree-based structures. Try representing a recipe's instructions accurately in something like OmniOutliner, OmniFocus, or org-mode. Meaning, where blocking steps accurately block their dependencies. You can't do it. But you can with a DAG. As another example, you can't even represent a simple argument in anything less than a DAG. It's like a compiler. 1. Socrates is a man (axiom) 2. All men are mortal (axiom) 3. Socrates is mortal (1, 2) 4. All mortals will die (axiom) 5. All mortals must eat (axiom) 6. Socrates will die (3, 4) 7. Socrates must eat (3, 5) You can't represent those dependencies in an outline, nor in most mind-mapping apps (since most of them don't allow a child to have multiple parents). Gantt charts can represent those relationships, but if you only care about the graph structure and the dependency relationships, why be saddled with a huge project management application? And, most of them can't handle OR relationships anyway. Graphviz/dot is decades old and isn't collaborative. But at least it's DAG with good layout. Free-form "just draw any edge to any node!" apps aren't all that great either, not without automatic layout, not without respecting any logical relationships indicated by the edges.