The Modal Logic of Equilibrium Models

DOI10.1007/978-3-642-24364-6_10MaRDI QIDQ3172888zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro, Andreas Herzig

Publication date 7 October 2011

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24364-6_10

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) Logic in computer science (03B70)

Recommendations

• Capturing equilibrium models in modal logic
• scientific article; zbMATH DE number 4012571
• Models for relevant modal logics
• On the Logic and Computation of Partial Equilibrium Models
• Modal logics for observation equivalences
• The modal logic of inequality
• Core Equivalence in Economy for Modal Logic
• The modal logic of inner models
• Modal Fixed-Point Logic and Changing Models
• A modal logic of consistency

Cites work

• scientific article; zbMATH DE number 1612562 (Why is no real title available?)
• Contingency-based equilibrium logic
• Minimal Logic Programs
• Modal logic
• Propositional theories are strongly equivalent to logic programs
• Strongly equivalent logic programs
• Thirteen Definitions of a Stable Model

Cited in

(12)

• Parametrized equilibrium logic
• A denotational semantics for equilibrium logic
• Setting the basis for here and there modal logics
• Logic programming as classical inference
• Contingency-based equilibrium logic
• Foreword
• Logic Programming and Nonmonotonic Reasoning
• Modal correspondence for models
• Combining equilibrium logic and dynamic logic
• On the Logic and Computation of Partial Equilibrium Models
• Capturing equilibrium models in modal logic
• A Semantical Approach to Equilibria and Rationality

This page was built for publication: The Modal Logic of Equilibrium Models

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