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

DOI10.1007/S11225-009-9184-3zbMATH Open1185.03023OpenAlexW2125644738MaRDI QIDQ1037587FDOQ1037587

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

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

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)

Cites Work

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

Cited In (4)

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

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)