Capturing equilibrium models in modal logic

DOI10.1016/j.jal.2013.12.003zbMath1328.03018OpenAlexW2064715681MaRDI QIDQ2447178

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

Publication date: 24 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.12.003

zbMATH Keywords

equilibrium logicbimodal logicanswer-set programminghere-and-there models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Related Items (3)

Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

Uses Software

• LoTREC
• MSPASS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal resolution in clausal form
• All I know: A study in autoepistemic logic
• Combining Equilibrium Logic and Dynamic Logic
• Contingency-Based Equilibrium Logic
• The Modal Logic of Equilibrium Models
• Strongly Equivalent Temporal Logic Programs
• A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
• Thirteen Definitions of a Stable Model
• Minimal Logic Programs
• Automata-Based Computation of Temporal Equilibrium Models
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• Propositional theories are strongly equivalent to logic programs
• Strongly equivalent logic programs

This page was built for publication: Capturing equilibrium models in modal logic