Flying Logic

Flying Logic is a tool that fills a widespread need for software that supports the practice of reasoning.

It does for reasoning what spreadsheets do for numbers. The program can adjust confidence values and edge weights, expand and collapse groups, copy text to other applications, export annotations to text or PDF, export diagram to PDF, modify document structure and text, and more.