The following pages link to On graph reasoning (Q731892):
Displayed 6 items.
- On a graph approach to modal logics (Q281163) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- Presenting basic graph logic (Q2671594) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)