TY  - RPRT
TI  - A Denotational Semantics for Equilibrium Logic
AU  - Felicidad Aguado
AU  - Pedro Cabalar
AU  - David Pearce
AU  - Gilberto Pérez
AU  - Concepción Vidal
PY  - 2015
DO  - 10.1017/s1471068415000277
UR  - https://arxiv.org/abs/1507.06915
ID  - 1507.06915
ER  -