The Modal Logic of Equilibrium Models

DOI10.1007/978-3-642-24364-6_10zbMATH Open1347.68041OpenAlexW113934892MaRDI QIDQ3172888FDOQ3172888

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

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

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)

Cites Work

• Modal logic
• Strongly equivalent logic programs
• Thirteen Definitions of a Stable Model
• Propositional theories are strongly equivalent to logic programs
• Title not available (Why is that?)
• Minimal Logic Programs
• Contingency-based equilibrium logic

Cited In (8)

• Parametrized equilibrium logic
• Contingency-based equilibrium logic
• Logic programming as classical inference
• Logic Programming and Nonmonotonic Reasoning
• Modal correspondence for models
• 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)