Social laws in alternating time: effectiveness, feasibility, and synthesis
From MaRDI portal
Publication:885535
DOI10.1007/S11229-006-9072-6zbMATH Open1120.68097OpenAlexW2021774774MaRDI QIDQ885535FDOQ885535
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- Modal logic
- Alternating-time temporal logic
- Title not available (Why is that?)
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Choosing social laws for multi-agent systems: Minimality and simplicity
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- 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
- Coordination Models and Languages
- Organizational structure-satisfactory social law determination in multiagent workflow systems
- 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
Uses Software
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)
