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, with standard Kripke semantics, 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 give a sound and complete axiomatisation for this logic, proving transfer results in the case that L and N are axiomatised by sets of Sahlqvist or shallow modal formulas.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com