On the Multimodal Logic of Normative Systems

@inproceedings{Dellunde2007OnTM,
  title={On the Multimodal Logic of Normative Systems},
  author={Pilar Dellunde},
  booktitle={COIN},
  year={2007}
}
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… CONTINUE READING
BETA

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES

THOMASON. Independent Propositional Modal Logics

S K.
  • Studia Logica,
  • 1980
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Combining modal logics

  • Handbook of Modal Logic
  • 2007
VIEW 1 EXCERPT

Empirical Concerns on Electronic Institutions, in O

P. NORIEGA. Fencing the Open Fields
  • BOISSIER, V. DIGNUM, G. LINDEMANN, E. MATSON, S. OSSOWSKI, J. PADGET, J. S. SICHMAN AND J. VÁZQUEZ-SALCEDA (ed.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, Springer LNCS 3913
  • 2006
VIEW 1 EXCERPT

CATE. Model Theory for extended modal languages, Ph.D Thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, ILLC Dissertation Series DS-2005-01

D T.B.
  • 2005
VIEW 3 EXCERPTS

RIJKE. Model Checking for Combined Logics with an Application to Mobile Systems

M. FRANCESCHET, A. MONTANARI, DE M.
  • Automated Software Engineering,
  • 2004

Similar Papers