Capturing equilibrium models in modal logic

DOI10.1016/J.JAL.2013.12.003MaRDI QIDQ2447178zbMATH OpenOpenAlexFDO

Authors 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

answer-set programmingbimodal logicequilibrium logichere-and-there models

Mathematics Subject Classification ID

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

Recommendations

• The Modal Logic of Equilibrium Models
• scientific article; zbMATH DE number 4012571
• Modal logics for observation equivalences
• A denotational semantics for equilibrium logic
• Models for relevant modal logics
• Stable modal logics
• Modal fixed point logics
• scientific article; zbMATH DE number 4164168
• Modal Theorem Proving: An Equational Viewpoint
• Modal Fixed-Point Logic and Changing Models

Cites work

• A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
• All I know: A study in autoepistemic logic
• Automata-Based Computation of Temporal Equilibrium Models
• Combining equilibrium logic and dynamic logic
• Contingency-based equilibrium logic
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• scientific article; zbMATH DE number 1612541 (Why is no real title available?)
• scientific article; zbMATH DE number 1612562 (Why is no real title available?)
• scientific article; zbMATH DE number 1765691 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Minimal Logic Programs
• Modal logic
• Modal resolution in clausal form
• Propositional theories are strongly equivalent to logic programs
• Strongly equivalent logic programs
• Strongly Equivalent Temporal Logic Programs
• The Modal Logic of Equilibrium Models
• Thirteen Definitions of a Stable Model

Cited in

(9)

• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• Autoepistemic equilibrium logic and epistemic specifications
• Combining equilibrium logic and dynamic logic
• Contingency-based equilibrium logic
• The Modal Logic of Equilibrium Models
• On the Logic and Computation of Partial Equilibrium Models
• A denotational semantics for equilibrium logic
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Splitting property for epistemic equilibrium logics

Describes a project that uses

Uses Software

• MSPASS
• LoTREC

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

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