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

DOI10.1007/s11229-006-9072-6zbMath1120.68097MaRDI 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

Coordination; Multi-Agent Systems; Model checking; Alternating-time Temporal Logic; Social Laws

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

Related Items

Addressing moral problems through practical reasoning, 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, Action and knowledge in alternating-time temporal logic, A Temporal Logic of Normative Systems, A Logic for Reasoning about Rational Agents

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