Interpretability and Equivalence in Quantified Equilibrium Logic

David Pearce, Agustín Valverde
2007 International Conference on Logic Programming and Non-Monotonic Reasoning  
The study of synonymy among propositional theories in equilibrium logic, begun in [36] , is extended to the first-order case.
dblp:conf/lpnmr/PearceV07 fatcat:hsux2jyqzzemfcki724vqddjka