Equilibrium Graphs
This work provides a diagrammatic tool for representing logical expressions in QEL, which could aid in education or visualization, but it is incremental as it adapts existing graphical methods to a specific logic.
The paper extends Peirce's existential graphs to create a diagrammatic representation for Quantified Equilibrium Logic (QEL), replacing logical connectives with encircled regions and quantified variables with identity lines. The result is a representation with equivalent expressive power to QEL, potentially useful for illustrative or educational purposes.
In this paper we present an extension of Peirce's existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are replaced by encircled regions (circles and squares) and quantified variables are represented as "identity" lines. Although the expressive power is equivalent to that of QEL, the new representation can be useful for illustrative or educational purposes.