Combining equilibrium logic and dynamic logic

DOI10.1007/978-3-642-40564-8_30MaRDI QIDQ2851264zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_30

zbMATH Keywords

equilibrium logicpropositional dynamic logicanswer-set programminghere-and-there logicdynamic logic of propositional assignments

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• The Modal Logic of Equilibrium Models
• Capturing equilibrium models in modal logic
• Equilibrium logic
• Interpolable formulas in equilibrium logic and answer set programming
• scientific article; zbMATH DE number 1696829

Cited in

(9)

• Here and there modal logic with dual implication
• Setting the basis for here and there modal logics
• Partial equilibrium logic
• Contingency-based equilibrium logic
• Autoepistemic equilibrium logic and epistemic specifications
• Cut-free formulations for a quantified logic of here and there
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Explicit negation in linear-dynamic equilibrium logic
• Capturing equilibrium models in modal logic

This page was built for publication: Combining equilibrium logic and dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851264)