Paper Info
Title
On the Multimodal Logic of Elementary 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, 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.
Year
Venue
Keywords
2007
CCIA
general logical framework,expanded language,logic L,Elementary Normative Systems,complete axiomatisation,Multi-Agent Systems,Normative Systems,new modality,multimodal logic,Multimodal Logics,normative system
Field
DocType
Volume
Normative systems,Kripke semantics,Normative,Computer science,Multimodal logic,Multi-agent system,Artificial intelligence,Model theory,Logical framework,Modal
Conference
163
ISSN
Citations 
PageRank 
0922-6389
0
0.34
References 
Authors
10
1
Name
Order
Citations
PageRank
Pilar Dellunde115622.63