Epistemic Equilibrium Logic

International audienceWe add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for Gelfond’s epistemic specifications. For both definitions we characterise strong equivalence by means of logical equivalence in epistemic here-and-there logic

Combining equilibrium logic and dynamic logic

National audienceWe extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments

Capturing equilibrium models in modal logic

International audienceHere-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of satisfiability is defined in terms of satisfiability in propositional logic and in the logic of here-and-there. We here give a direct semantics of equilibrium logic, stated in terms of a modal language embedding the language of equilibrium logic

"Hysteresis in Dynamic General Equilibrium Models with Cash-in-Advance Constraints"

In this paper, we investigate equilibrium cycles in dynamic general equilibrium models with cash-in-advance constraints. Our findings are two-fold. First, in such models, if an equilibrium cycle exists, then there also exists a continuum of equilibrium cycles in its neighborhood. Second, the limit cycle, to which a dynamic path converges, varies continuously according to the initial distribution of the money holdings. Thus, temporary shocks that affect the initial distribution have permanent effects in such models; that is, such models exhibit hysteresis. Furthermore, we also explore the logic behind the results.