Multi-modal CTL: completeness, complexity, and an application

DOI10.1007/s11225-009-9184-3zbMath1185.03023OpenAlexW2125644738MaRDI QIDQ1037587

Michael Wooldridge, Thomas Ågotnes, Wiebe van der Hoek, Carles Sierra, Juan A. Rodríguez-Aguilar

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9184-3

zbMATH Keywords

computation tree logicCTLnormative systemssocial laws

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items

A complete coalition logic of temporal knowledge for multi-agent systems

Uses Software

• Society Visualiser

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• Adding a temporal dimension to a logic system
• Simulation and transfer results in modal logic -- a survey
• Deontic interpreted systems
• Many-dimensional modal logics: theory and applications
• Contrary-to-duty obligations
• Decision procedures and expressiveness in the temporal logic of branching time
• On obligations and normative ability: Towards a logical analysis of the social contract
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• A Temporal Logic of Normative Systems
• The Unrestricted Combination of Temporal Logic Systems
• Completeness and Complexity of Multi-modal CTL