Combining Equilibrium Logic and Dynamic Logic

DOI10.1007/978-3-642-40564-8_30zbMath1405.68352OpenAlexW2280951085MaRDI QIDQ2851264

Andreas Herzig, Luis Fariñas del Cerro, 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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items (3)

Capturing equilibrium models in modal logic ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

This page was built for publication: Combining Equilibrium Logic and Dynamic Logic