Interpretability and Equivalence in Quantified Equilibrium Logic

@inproceedings{Pearce2007InterpretabilityAE,
  title={Interpretability and Equivalence in Quantified Equilibrium Logic},
  author={David Pearce and Agust{\'i}n Valverde},
  booktitle={CENT},
  year={2007}
}
The study of synonymy among propositional theories in equil ibrium logic, begun in [36], is extended to the first-order case.