Social laws in alternating time: effectiveness, feasibility, and synthesis

DOI10.1007/S11229-006-9072-6MaRDI QIDQ885535zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 14 June 2007

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-006-9072-6

zbMATH Keywords

CoordinationModel checkingAlternating-time Temporal LogicMulti-Agent SystemsSocial Laws

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• Deontic Logic in Computer Science
• On stable social laws and qualitative equilibria
• Socio-legal systems and implementation of the Nash solution in Debreu-Hurwicz equilibrium
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Determination of social laws for multi-agent mobilization
• On social laws for artificial agent societies: off-line design
• Time‐consistent fair social choice
• The Theory of Implementation of Social Choice Rules
• On combining implementable social choice rules

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• Alternating-time temporal logic
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Modal logic
• On the emergence of social conventions: modeling, analysis, and simulations

Cited in

(16)

• A Logic for Reasoning about Rational Agents
• On social laws for artificial agent societies: off-line design
• Organizational structure-satisfactory social law determination in multiagent workflow systems
• Coordination Models and Languages
• Data-Driven Revision of Conditional Norms in Multi-Agent Systems
• Practical reasoning as presumptive argumentation using action based alternating transition systems
• Deontic Logic in Computer Science
• Norm-based mechanism design
• Normative reasoning and consequence
• Social laws and anti-social behaviour
• Multi-modal CTL: completeness, complexity, and an application
• Reasoning about temporal properties of rational play
• A Temporal Logic of Normative Systems
• Conservative social laws
• Addressing moral problems through practical reasoning
• Action and knowledge in alternating-time temporal logic

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Social laws in alternating time: effectiveness, feasibility, and synthesis

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