Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas Autoepistemic equilibrium logic and epistemic specifications. (English) Zbl 1432.68453 Artif. Intell. 282, Article ID 103249, 23 p. (2020). MSC: 68T27 03B42 68N17 PDFBibTeX XMLCite \textit{E. I. Su} et al., Artif. Intell. 282, Article ID 103249, 23 p. (2020; Zbl 1432.68453) Full Text: DOI Link
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz Capturing equilibrium models in modal logic. (English) Zbl 1328.03018 J. Appl. Log. 12, No. 2, 192-207 (2014). MSC: 03B45 68N17 PDFBibTeX XMLCite \textit{L. Fariñas del Cerro} et al., J. Appl. Log. 12, No. 2, 192--207 (2014; Zbl 1328.03018) Full Text: DOI