What is a logical system?
On the emergence of social conventions: modeling, analysis, and simulations
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Choosing social laws for multi-agent systems: minimality and simplicity
Artificial Intelligence
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Information and Computation - Special issue: Combining logical systems
On the logic of normative systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A distributed architecture for norm management in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A coherence based framework for institutional agents
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
Fencing the open fields: empirical concerns on electronic institutions (invited paper)
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
| Hi-index | 0.00 |
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, for every modality □i and normative system η, we expand the language adding a new modality □iη with the intended meaning of □iηΦ being "Φ is obligatory in the context of the normative system η over the logic L". In this expanded language we define the Multimodal Logic of Normative Systems over L, for any given set of normative systems N, and we give a sound and complete axiomatisation for this logic, proving transfer and model checking results. The special case when L and N are axiomatised by sets of Sahlqvist or shallow modal formulas is studied.