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

DOI10.1007/S11225-009-9184-3MaRDI QIDQ1037587zbMATH OpenOpenAlexFDO

Authors Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, M. J. Wooldridge

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

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

Recommendations

• Completeness and complexity of multi-modal CTL
• A Temporal Logic of Normative Systems
• Robust normative systems and a logic of norm compliance
• scientific article; zbMATH DE number 2042616
• An axiomatization of full computation tree logic

Cites work

• scientific article; zbMATH DE number 2131727 (Why is no real title available?)
• scientific article; zbMATH DE number 1222489 (Why is no real title available?)
• scientific article; zbMATH DE number 588315 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1950647 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A Temporal Logic of Normative Systems
• Adding a temporal dimension to a logic system
• Completeness and complexity of multi-modal CTL
• Contrary-to-duty obligations
• Decision procedures and expressiveness in the temporal logic of branching time
• Deontic interpreted systems
• Many-dimensional modal logics: theory and applications
• Modal logic
• On obligations and normative ability: Towards a logical analysis of the social contract
• Simulation and transfer results in modal logic -- a survey
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• The Unrestricted Combination of Temporal Logic Systems

Cited in

(4)

• A Temporal Logic of Normative Systems
• On CTL* with Graded Path Modalities
• Completeness and complexity of multi-modal CTL
• A complete coalition logic of temporal knowledge for multi-agent systems

Describes a project that uses

Uses Software

• Society Visualiser

This page was built for publication: Multi-modal CTL: completeness, complexity, and an application

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