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

DOI10.1007/s11229-006-9072-6zbMath1120.68097OpenAlexW2021774774MaRDI QIDQ885535

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

CoordinationMulti-Agent SystemsModel checkingAlternating-time Temporal LogicSocial Laws

Mathematics Subject Classification ID

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

Related Items (10)

Norm-based mechanism design ⋮ Unnamed Item ⋮ Addressing moral problems through practical reasoning ⋮ Action and knowledge in alternating-time temporal logic ⋮ A Temporal Logic of Normative Systems ⋮ A Logic for Reasoning about Rational Agents ⋮ Reasoning about temporal properties of rational play ⋮ Practical reasoning as presumptive argumentation using action based alternating transition systems ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Data-Driven Revision of Conditional Norms in Multi-Agent Systems

Uses Software

• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the emergence of social conventions: modeling, analysis, and simulations
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Choosing social laws for multi-agent systems: Minimality and simplicity
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games

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