@inbook{1a00626ef29942ccb54e26827f6164af,

title = "On the multimodal logic of normative systems",

abstract = "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.",

keywords = "Fusions of Logics, Model Theory, Multi-Agent Systems, Multimodal Logics, Normative Systems, Sahlqvist Formulas",

author = "Pilar Dellunde",

year = "2008",

doi = "10.1007/978-3-540-79003-7_19",

language = "English",

isbn = "3540790020",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "261--274",

booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems III - COIN 2007 International Workshops, COIN@AAMAS 2007, COIN@MALLOW 2007, Revised Selected Papers",

}