Combining equilibrium logic and dynamic logic

DOI10.1007/978-3-642-40564-8_30zbMATH Open1405.68352OpenAlexW2280951085MaRDI QIDQ2851264FDOQ2851264

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

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

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)

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)