Handbook of theoretical computer science (vol. B)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Alternating-time temporal logic
Journal of the ACM (JACM)
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Action and Agency in Norm-Governed Multi-agent Systems
Engineering Societies in the Agents World VIII
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Completeness and Complexity of Multi-modal CTL
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Multimodal Logic of Elementary Normative Systems
Proceedings of the 2007 conference on Artificial Intelligence Research and Development
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On the multimodal logic of normative systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Model checking norms and sanctions in institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A multiagent network for peer norm enforcement
Autonomous Agents and Multi-Agent Systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Open issues for normative multi-agent systems
AI Communications
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Compliance checking of integrated business processes
Data & Knowledge Engineering
| Hi-index | 0.00 |
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branching-time temporal logic CTL, in which the path quantifiers A ("on all paths... ") and E ("on some path... ") are replaced by the indexed deontic operators Oη and Pη, where for example Oη φ means "φ is obligatory in the context of normative system η". After defining the logic, we give a sound and complete axiomatisation, and discuss the logic's relationship to standard deontic logics. We present a symbolic representation language for models and normative systems, and identify four different model checking problems, corresponding to whether or not a model is represented symbolically or explicitly, and whether or not we are given an interpretation for the normative systems named in formulae to be checked. We show that the complexity of model checking varies from P-complete up to EXPTIME-hard for these variations.