On the multimodal logic of normative systems

Pilar Dellunde*

*Corresponding author for this work

Research output: Chapter in BookChapterResearchpeer-review

1 Citation (Scopus)


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 and normative system η, we expand the language adding a new modality with the intended meaning of 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.

Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems III - COIN 2007 International Workshops, COIN@AAMAS 2007, COIN@MALLOW 2007, Revised Selected Papers
Number of pages14
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4870 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Fusions of Logics
  • Model Theory
  • Multi-Agent Systems
  • Multimodal Logics
  • Normative Systems
  • Sahlqvist Formulas


Dive into the research topics of 'On the multimodal logic of normative systems'. Together they form a unique fingerprint.

Cite this