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 □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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-79003-7_19 | COIN |
Keywords | Field | DocType |
general logical framework,expanded language,logic l,complete axiomatisation,multi-agent systems,normative systems,new modality,multimodal logic,multimodal logics,normative system,multi agent systems,model theory | Model checking,Normative,Computer science,Multimodal logic,Multi-agent system,Artificial intelligence,Model theory,Modal,Logical framework,Special case | Conference |
Volume | ISSN | ISBN |
4870 | 0302-9743 | 3-540-79002-0 |
Citations | PageRank | References |
0 | 0.34 | 16 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |