Capturing equilibrium models in modal logic

Aguado, 2008, Strongly equivalent temporal logic programs, vol. 5293, 8 Balbiani, 2013, Dynamic logic of propositional assignments: a well-behaved variant of PDL Blackburn, 2001, Modal Logic, 10.1017/CBO9781107050884 Cabalar, 2011, Automata-based computation of temporal equilibrium models, vol. 7225, 57 Cabalar, 2007, Propositional theories are strongly equivalent to logic programs, Theory Pract. Log. Program. (TPLP), 7, 745, 10.1017/S1471068407003110 Cabalar, 2007, Minimal logic programs, vol. 4670, 104 Carnielli, 2009 Enjalbert, 1989, Modal resolution in clausal form, Theor. Comput. Sci., 65, 1, 10.1016/0304-3975(89)90137-0 Fariñas del Cerro, 2001, Lotrec: The generic tableau prover for modal and description logics, vol. 2083, 453 Fariñas del Cerro, 1995, Modal deduction with applications in epistemic and temporal logic, vol. 4, 499 Fariñas del Cerro, 2011, Contingency-based equilibrium logic, 223 Fariñas del Cerro, 2011, The modal logic of equilibrium models, 135 Fariñas del Cerro, 2013, Combining equilibrium logic and dynamic logic, vol. 8148, 304 Ferraris, 2007, A new perspective on stable models, 372 Hustadt, 2000, MSPASS: Modal reasoning by translation and first-order resolution, vol. 1847, 67 Lakemeyer, 2012, Only-knowing meets nonmonotonic modal logic Levesque, 1990, All I know: A study in autoepistemic logic, Artif. Intell. J., 42, 263, 10.1016/0004-3702(90)90056-6 Lifschitz, 2010, Thirteen definitions of a stable model, vol. 6300, 488 Lifschitz, 2001, Strongly equivalent logic programs, ACM Trans. Comput. Log., 2, 526, 10.1145/383779.383783 Pearce, 1996, A new logical characterisation of stable models and answer sets, vol. 1216, 57 Pearce, 2011, An approach to minimal belief via objective belief, 1045 Pearce, 2000, A tableau calculus for equilibrium entailment, vol. 1847, 352 Schmidt, 2008, A general tableau method for deciding description logics, modal logics and related first-order fragments, vol. 5195, 194 Sebastiani, 2009, Sat techniques for modal and description logics, vol. 185, 781